UNIF 2013: Volume Information

UNIF 2013. 27th International Workshop on Unification

Papers

Keyphrases

Anti-Unification with Skeletons, Asymmetric unification, combination, Description Logic, Disunification, equational generalization, equational theories, Equational Unification, equivalence checking, Generalization with Hedge and Context Variables, graph automorphism, Least General Rigid Generalization, Linear Temporal Logic, NP-complete, NP-completeness, Parametrized Rigid Higher-Order Generalization, polynomial time, polynomial time complexity, program, Structural symmetries, substitution, term rewriting, unification³, Unranked Higher-Order Anti-Unification.