UNIF 2012 Post-Worskhop Proceedings. The 26th International Workshop on Unification, Manchester, UK, July 1, 2012

Santiago Escobar, Konstantin Korovin, Vladimir V. Rybakov, editors, UNIF 2012 Post-Worskhop Proceedings. The 26th International Workshop on Unification, Manchester, UK, July 1, 2012. Volume 24 of EPiC Series, EasyChair, 2014. [doi]

Conference: cade2014

Abstract

Abstract is missing.

Table of Contents