Table of contents

  1. Front Matter
  2. Stéphane Fèvre, Dongming Wang
    Pages 17-32
  3. Thomas Arts, Mads Dam, Lars -åke Fredlund, Dilian Gurov
    Pages 38-41
  4. Rajeev Goré, Joachim Posegga, Andrew Slater, Harald Vogt
    Pages 47-50
  5. Bernhard Beckert, Rajeev Goré
    Pages 51-55
  6. Christoph Benzmüller, Michael Kohlhase
    Pages 56-71
  7. Alexandre Boudet, Evelyne Contejean
    Pages 88-102
  8. Bertrand Mazure, Lakhdar SaÏs, éric Grégoire
    Pages 124-128
  9. Julian Richardson, Alan Smaill, Ian Green
    Pages 129-133
  10. Konrad Slind, Mike Gordon, Richard Boulton, Alan Bundy
    Pages 134-138
  11. Christoph Benzmüller, Michael Kohlhase
    Pages 139-143
  12. Leo Bachmair, Harald Ganzinger
    Pages 160-174

About these proceedings


This book constitutes the refereed proceedings of the 15th International Conference on Automated Deduction, CADE-15, held in Lindau, Germany, in July 1998.
The volume presents three invited contributions together with 25 revised full papers and 10 revised system descriptions; these were selected from a total of 120 submissions. The papers address all current issues in automated deduction and theorem proving based on resolution, superposition, model generation and elimination, or connection tableau calculus, in first-order, higher-order, intuitionistic, or modal logics, and describe applications to geometry, computer algebra, or reactive systems.


Automated Reasoning Erfüllbarkeitsproblem der Aussagenlogik Formal Verification Linear Logic Nonclassical Logics Resolution Theorem Proving algorithm algorithms automated deduction automated theorem proving communication logic proving verification

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1998
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-64675-4
  • Online ISBN 978-3-540-69110-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book