Workshop Theorem Proving with Analytic Tableaux and Related Methods, Lautenbach. Universität Karlsruhe, Fakultät für Informatik, Institut für Logik, Komplexität und Deduktionssysteme, Interner Bericht 8/92, March 18-20, 1992 - researchr publication

researchr

You are not signed in
Sign in
Sign up

Bertram Fronhöfer, Reiner Hähnle, Thomas Käufl, editors, Workshop Theorem Proving with Analytic Tableaux and Related Methods, Lautenbach. Universität Karlsruhe, Fakultät für Informatik, Institut für Logik, Komplexität und Deduktionssysteme, Interner Bericht 8/92, March 18-20, 1992. 1992.

Conference: tableaux1992

Abstract is missing.

Toward an Efficient Tableau Metaprover (Extended Abstract)Mark Grundy. 29-31

A Workbench for Model Elimination (Abstract)Jürgen Lehmann. 46-48

A Connection Method based Theorem Prover with Selective Backtracking (Extended Abstract)Wilfried Neitz. 59-60

runs on WebDSL