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

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

  • Book Title Theorem Proving with Analytic Tableaux and Related Methods
  • Book Subtitle 5th International Workshop, TABLEAUX '96 Terrasini, Palermo, Italy, May 15–17, 1996 Proceedings
  • Editors Pierangelo Miglioli
    Ugo Moscato
    Daniele Mundici
    Mario Ornaghi
  • Series Title Lecture Notes in Computer Science
  • Series Abbreviated Title Lect Notes Comput Sci
  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1996
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Softcover ISBN 978-3-540-61208-7
  • eBook ISBN 978-3-540-68368-1
  • Series ISSN 0302-9743
  • Series E-ISSN 1611-3349
  • Edition Number 1
  • Number of Pages XII, 336
  • Number of Illustrations 0 b/w illustrations, 0 illustrations in colour
  • Topics Theory of Computation
    Artificial Intelligence
    Mathematical Logic and Foundations
  • Buy this book on publisher's site
Industry Sectors
IT & Software
Consumer Packaged Goods
Finance, Business & Banking