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

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

Pages 1-6

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

Serdar Erbatur, Santiago Escobar and Paliath Narendran

Pages 7-16

Some Notes on Basic Syntactic Mutation

Kimberly Gero, Christopher Bouchard and Paliath Narendran

Pages 17-27

Bounded Higher-order Unification using Regular Terms

Pages 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