Volume •Abstracts •Preface •Authors •Keywords •BibTex Entries

UNIF 2012: Volume Information

UNIF 2012 Post-Worskhop Proceedings. The 26th International Workshop on Unification

Editors: Santiago Escobar, Konstantin Korovin and Vladimir Rybakov

EPiC Series in Computing•Volume 24

4 articles•49 pages•Published: July 28, 2014

Papers

Recent Advances in Unification for the EL Family

Franz Baader, Stefan Borgwardt and Barbara Morawska

1-6

The use of types in designing unification algorithms: two case studies

Serdar Erbatur, Santiago Escobar and Paliath Narendran

7-16

Some Notes on Basic Syntactic Mutation

Kimberly Gero, Chris Bouchard and Paliath Narendran

17-27

Bounded Higher-order Unification using Regular Terms

28-49

Keyphrases

Bounded unification, bounded unification algorithms, Computing Unifiers, Description Logics, El Gamal Signature Scheme, Equational Unification², Exponent of periodicity, General Concept Inclusions, higher-order unification, Minimal Unifiers, regular terms, subterm-collapse, term rewriting, Term Rewriting Systems, type systems, unification, unification modulo convergent term rewrite systems.