Table of contents

  1. Front Matter
  2. Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura
    Pages 1-15
  3. G. Mints
    Pages 16-30
  4. Alessandro Avellone, Ugo Moscato, Pierangelo Miglioli, Mario Ornaghi
    Pages 43-61
  5. Matthias Baaz, Uwe Egly, Christian G. Fermüller
    Pages 62-75
  6. Peter Baumgartner, Peter Fröhlich, Ulrich Furbach, Wolfgang Nejdl
    Pages 76-90
  7. Bernhard Beckert, Rajeev Goré
    Pages 91-106
  8. P. A. Bonatti, N. Olivetti
    Pages 107-121
  9. Li Dafa, Jia Peifa
    Pages 153-157
  10. Reiner Hähnle, Christian Pape
    Pages 173-187
  11. Jacob M. Howe
    Pages 188-200
  12. Ortrun Ibens, Reinhold Letz
    Pages 201-215
  13. Ján Komara, Paul J. Voda
    Pages 231-245

About these proceedings

Introduction

This book constitutes the refereed proceedings of the International Conference on Analytic Tableaux and Related Methods, TABLEAUX'97, held in Pont-a-Mousson, France, in May 1997.
The volume presents 22 revised full papers selected from a total of 49 submissions. Also included are two invited papers and two system descriptions. The volume covers the whole spectrum of tableaux-based theorem proving and its applications including theoretical foundations, methodological issues, implementation techniques, and system development. Besides classical logics, among the logics dealt with are modal, intuitionistic, many-valued, and temporal logic.

Keywords

Automat Automatisches Schließen Deduction Systems Deduktionssysteme Formal Logics Formale Logik Tableaux Methods Tableaux-Methoden automated reasoning logic proving system development theorem proving

Bibliographic information

  • DOI https://doi.org/10.1007/BFb0027400
  • Copyright Information Springer-Verlag 1997
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-62920-7
  • Online ISBN 978-3-540-69046-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book