UNIF 2014 SHORT PAPERS: AUTHOR INDEX

Papers Papers with Abstracts Preface Author Index Keyword Index

Shortcuts: A B C E H K L M N P R S T V Z

A
Abel, Andreas	A Categorical Perspective on Pattern Unification (Extended Abstract) (PDF, talk)
B
Baader, Franz	Matching with respect to general concept inclusions in the Description Logic EL (PDF, talk)
Balbiani, Philippe	Unification in the normal modal logic Alt1 (PDF, talk)
Baumgartner, Alexander	Nominal Anti-Unification (PDF, talk)
Bonacina, Maria Paola	Constraint Manipulation in SGGS (PDF, talk)
C
Cabrer, Leonardo Manuel	From Admissibility to a New Hierarchy of Unification Types (PDF, talk)
E
Erbatur, Serdar	On Asymmetric Unification and the Combination Problem in Disjoint Theories (Extended Abstract) (PDF, talk) Hierarchical Combination of Matching Algorithms (Extended Abstract) (PDF, talk)
H
Hibbs, Peter	Unification Modulo Common List Functions (PDF, talk)
K
Kapur, Deepak	On Asymmetric Unification and the Combination Problem in Disjoint Theories (Extended Abstract) (PDF, talk) Hierarchical Combination of Matching Algorithms (Extended Abstract) (PDF, talk)
Kutsia, Temur	Nominal Anti-Unification (PDF, talk)
L
Levy, Jordi	On the Limits of Second-Order Unification (PDF, talk) Nominal Anti-Unification (PDF, talk)
M
Marshall, Andrew M.	On Asymmetric Unification and the Combination Problem in Disjoint Theories (Extended Abstract) (PDF, talk) Hierarchical Combination of Matching Algorithms (Extended Abstract) (PDF, talk)
Meadows, Catherine	On Asymmetric Unification and the Combination Problem in Disjoint Theories (Extended Abstract) (PDF, talk)
Mectalfe, George	From Admissibility to a New Hierarchy of Unification Types (PDF, talk)
Mehto, Shweta	Unification Modulo Common List Functions (PDF, talk)
Meseguer, Jose	Extensible Symbolic System Analysis (PDF, talk)
Morawska, Barbara	Matching with respect to general concept inclusions in the Description Logic EL (PDF, talk)
N
Narendran, Paliath	Unification Modulo Common List Functions (PDF, talk) On Asymmetric Unification and the Combination Problem in Disjoint Theories (Extended Abstract) (PDF, talk) Hierarchical Combination of Matching Algorithms (Extended Abstract) (PDF, talk)
Novikova, Tatyana	Two-sided unification is NP-complete (PDF, talk)
P
Plaisted, David	Constraint Manipulation in SGGS (PDF, talk)
R
Ringeissen, Christophe	On Asymmetric Unification and the Combination Problem in Disjoint Theories (Extended Abstract) (PDF, talk) Hierarchical Combination of Matching Algorithms (Extended Abstract) (PDF, talk)
S
Sozeau, Matthieu	Towards a better-behaved unification algorithm for Coq (PDF, talk)
T
Tinchev, Tinko	Unification in the normal modal logic Alt1 (PDF, talk)
V
Vezzosi, Andrea	A Categorical Perspective on Pattern Unification (Extended Abstract) (PDF, talk)
Villaret, Mateu	Nominal Anti-Unification (PDF, talk)
Z
Zakharov, Vladimir	Two-sided unification is NP-complete (PDF, talk)
Ziliani, Beta	Towards a better-behaved unification algorithm for Coq (PDF, talk)