27th International Workshop on Unification, UNIF 2013, Eindhoven, Netherlands, June 26, 2013

Konstantin Korovin, Barbara Morawska, editors, 27th International Workshop on Unification, UNIF 2013, Eindhoven, Netherlands, June 26, 2013. Volume 19 of EPiC Series, EasyChair, 2013. [doi]

Conference: RTA2013

Abstract

Abstract is missing.

Table of Contents