Informal proceesings of the Annual Meeting of "GI-Fachgruppe
'Deduktionssysteme'" in Kaiserslautern, 1993

Juergen Avenhaus, Joerg Denzinger (eds.)
Department of Computer Science, University of Kaiserslautern,
P.O.Box 3049, 67653 Kaiserslautern, Germany

E-mail: avenhaus@informatik.uni-kl.de
	denzinge@informatik.uni-kl.de

Abstract
This report contains the short abstracts submitted for the Annual Meeting of
``GI-Fachgruppe `Deduktionssysteme''' in Kaiserslautern, 1993.
The talks range from theoretical aspects of rewrite systems to descriptions
of practical proof systems in various applications. As usual, a major number
of the talks were given by the organizers of the meeting. In this case the
meeting was organized by the groups of J. Avenhaus and K. Madlener at the
University of Kaiserslautern.

Keywords
rewrite systems, deduction, GI-Fachgruppe 'Deduktionssysteme'

Source
anonymous FTP server ftp.uni-kl.de [131.246.94.94]
path: /reports_uni-kl/computer_science/SEKI/1993/papers/
file: Avenhaus.SR-93-11.ps.Z