Table of contents

  1. Front Matter
  2. Peter B. Andrews, Matthew Bishop
    Pages 1-15
  3. Marcello D'Agostino, Dov M. Gabbay
    Pages 16-35
  4. Alessandro Avellone, Mauro Ferrari
    Pages 48-64
  5. Matthias Baaz, Christian G. Fermüller
    Pages 65-79
  6. Gérard Becher
    Pages 80-92
  7. Bernhard Beckert, Christian Pape
    Pages 93-109
  8. Jean-Paul Billon
    Pages 110-126
  9. Jeremy Pitt, Jim Cunningham
    Pages 160-176
  10. Alain Heuerding, Michael Seyfried, Heinrich Zimmermann
    Pages 210-225
  11. Jean-Baptiste Joinet, Harold Schellinx, Lorenzo Tortora de Falco
    Pages 226-243
  12. Ilkka Niemelä
    Pages 278-294
  13. Eike Ritter, David Pym, Lincoln Wallen
    Pages 295-311
  14. Back Matter

About these proceedings


This books presents the refereed proceedings of the Fifth International Workshop on Analytic Tableaux and Related Methods, TABLEAUX '96, held in Terrasini near Palermo, Italy, in May 1996.
The 18 full revised papers included together with two invited papers present state-of-the-art results in this dynamic area of research. Besides more traditional aspects of tableaux reasoning, the collection also contains several papers dealing with other approaches to automated reasoning. The spectrum of logics dealt with covers several nonclassical logics, including modal, intuitionistic, many-valued, temporal and linear logic.


Automated Deduction Automatisierte Deduktion Constraint Satisfaction Nicht-klassische Logiken Nonclassical Logics Tableaukalkül Tableaux Calculus Tableaux Resonning Theorem-Beweise automated reasoning calculus proof proving sequent calculus sets

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1996
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-61208-7
  • Online ISBN 978-3-540-68368-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site