Informal Proceedings of the Annual Meeting of "GI-Fachgruppe Deduktionssysteme"

  • This report contains a collection of abstracts for talks given at the "Deduktionstreffen" held at Kaiserslautern, October 6 to 8, 1993. The topics of the talks range from theoretical aspects of term rewriting systems and higher order resolution to descriptions of practical proof systems in various applications. They are grouped together according the following classification: Distribution and Combination of Theorem Provers, Termination, Completion, Functional Programs, Inductive Theorem Proving, Automatic Theorem Proving, Proof Presentation. The Deduktionstreffen is the annual meeting of the Fachgruppe Deduktionssysteme in the Gesellschaft für Informatik (GI), the German association for computer science.

Download full text files

Export metadata

Additional Services

Search Google Scholar
Metadaten
Author:Jürgen Avenhaus, Jörg Denzinger
URN:urn:nbn:de:hbz:386-kluedo-3863
Series (Serial Number):SEKI Report (93,11)
Document Type:Preprint
Language of publication:English
Year of Completion:1993
Year of first Publication:1993
Publishing Institution:Technische Universität Kaiserslautern
Date of the Publication (Server):2000/04/03
Tag:Automatic Theorem Provi; Completion; Distribution and Combination of Theorem Provers; Functional Programs; Inductive Theorem Proving; Termination
Faculties / Organisational entities:Kaiserslautern - Fachbereich Informatik
DDC-Cassification:0 Allgemeines, Informatik, Informationswissenschaft / 004 Informatik
Licence (German):Standard gemäß KLUEDO-Leitlinien vor dem 27.05.2011