IFIP-WG16 PROCEEDINGS (ABSTRACTS): AUTHOR INDEX

Shortcuts: A B D H J M P S

A
Aoto, Takahito	Decision Procedures for Proving Inductive Theorems Without Induction (PDF, talk)
B
Bonacina, Maria Paola	Semantically-Guided Goal-Sensitive Theorem Proving (PDF, talk)
Bresson, Jean	Rhythm Tree Rewriting (PDF, talk)
D
Donat-Bouillud, Pierre	Rhythm Tree Rewriting (PDF, talk)
Dowek, Gilles	Rewriting, Proofs, and Transition Systems (PDF, talk)
H
Hirokawa, Nao	Basic Normalization (PDF, talk)
J
Jacquemard, Florent	Rhythm Tree Rewriting (PDF, talk)
Jiang, Ying	Rewriting, Proofs, and Transition Systems (PDF, talk)
M
Middeldorp, Aart	Basic Normalization (PDF, talk)
Moser, Georg	Basic Normalization (PDF, talk)
P
Plaisted, David	Semantically-Guided Goal-Sensitive Theorem Proving (PDF, talk)
S
Stratulat, Sorin	Decision Procedures for Proving Inductive Theorems Without Induction (PDF, talk)