Skip to main content
SpringerLink
Log in

Theorem Proving with Analytic Tableaux and Related Methods

4th International Workshop, TABLEAUX-95, Schloß Rheinfels, St. Goar, Germany, May 7 - 10, 1995. Proceedings

  • Conference proceedings
  • © 1995

Overview

Editors:
  1. Peter Baumgartner
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Reiner Hähnle
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Joachim Possega
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 918)

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

Included in the following conference series:

Conference proceedings info: TABLEAUX 1995.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (23 papers)

  1. Higher-order tableaux

    • Michael Kohlhase
    Pages 294-309

  2. Propositional logics on the computer

    • Alain Heuerding, Gerhard Jäger, Stefan Schwendimann, Michael Seyfried
    Pages 310-323

  3. MacKE: Yet another proof assistant & automated pedagogic tool

    • Jeremy Pitt
    Pages 324-337

  4. Using the theorem prover SETHEO for verifying the development of a communication protocol in FOCUS -A Case Study-

    • Johann Schumann
    Pages 338-352

  5. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Theorem Proving with Analytic Tableaux and Related Methods

Keywords

About this book

This volume constitutes the proceedings of the 4th International Workshop on Theorem Proving with Analytic Tableaux and Related Methods, TABLEAU '95, held at Schloß Rheinfels, St. Goar, Germany in May 1995.
Originally tableau calculi and their relatives were favored primarily as a pedagogical device because of their advantages at the presentation level. The 23 full revised papers in this book bear witness that these methods have now gained fundamental importance in theorem proving, particularly as competitors for resolution methods. The book is organized in sections on extensions, modal logic, intuitionistic logic, the connection method and model elimination, non-clausal proof procedures, linear logic, higher-order logic, and applications

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation