IFIP-WG16 PROCEEDINGS (ABSTRACTS): PAPERS WITH ABSTRACTS

Editor: Jürgen Giesl

Authors, Title and Abstract	Paper	Talk
Takahito Aoto and Sorin Stratulat Decision Procedures for Proving Inductive Theorems Without Induction		Jul 13 08:45
Gilles Dowek and Ying Jiang Rewriting, Proofs, and Transition Systems		Jul 13 10:45
Maria Paola Bonacina and David Plaisted Semantically-Guided Goal-Sensitive Theorem Proving		Jul 13 11:30
Nao Hirokawa, Aart Middeldorp and Georg Moser Basic Normalization		Jul 13 14:30
Florent Jacquemard, Jean Bresson and Pierre Donat-Bouillud Rhythm Tree Rewriting		Jul 13 15:15