Talk Author Index

TALK AUTHOR INDEX

Shortcuts: B C D E F K L M N P R S

B
Baader, Franz	Restricted Unification in the Description Logic FLbot
Balbiani, Philippe	Unification types in modal logics
Brown, Chad	Higher-Order Unification with Definition by Cases
C
Cerna, David	Higher-Order Unification with Definition by Cases
D
Dwyer Satterfield, Saraid	Graph-Embedded Term Rewrite Systems and Applications (A Preliminary Report)
E
Erbatur, Serdar	Graph-Embedded Term Rewrite Systems and Applications (A Preliminary Report)
F
Fernandez Gil, Oliver	Restricted Unification in the Description Logic FLbot
K
Kudasov, Nikolai	Higher-order unification from E-unification with second-order equations and parametrised metavariables
L
Lynch, Christopher	Unification Decision Procedures using Basic Narrowing modulo an Equational Theory
M
Marshall, Andrew M.	Graph-Embedded Term Rewrite Systems and Applications (A Preliminary Report)
Milanese, Gian Carlo	Fuzzy Order-Sorted Feature Term Unification
N
Nantes-Sobrinho, Daniele	Nominal Anti-Unification of Letrec-Expressions
P
Pasi, Gabriella	Fuzzy Order-Sorted Feature Term Unification
R
Ringeissen, Christophe	Graph-Embedded Term Rewrite Systems and Applications (A Preliminary Report)
S
Schmidt-Schauss, Manfred	Nominal Anti-Unification of Letrec-Expressions