Talk Author Index

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