Advertisement

Automated Deduction — CADE-16

16th International Conference on Automated Deduction Trento, Italy, July 7–10, 1999 Proceedings

  • Harald Ganzinger

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

Also part of the Lecture Notes in Artificial Intelligence book sub series (LNAI, volume 1632)

Table of contents

  1. Front Matter
    Pages I-XIV
  2. Session 1

  3. Session 2

    1. Erich Grädel
      Pages 31-51
    2. Stephan Tobies
      Pages 52-66
  4. Session 3

    1. Manfred Schmidt-Schauß, Klaus U. Schulz
      Pages 67-81
    2. ToMasz Wierzbicki
      Pages 82-96
    3. Reinhard Pichler
      Pages 97-111
  5. Session 4

    1. A. A. Adams, H. Gottliebsen, S. A. Linton, U. Martin
      Pages 112-126
    2. Helmut Horacek
      Pages 142-156
  6. Session 5

    1. Ullrich Hustadt, Renate A. Schmidt
      Pages 172-186
    2. Carlos Areces, Hans de Nivelle, Maarten de Rijke
      Pages 187-201
  7. Session 6: System Descriptions

    1. Frank Pfenning, Carsten Schürmann
      Pages 202-206
    2. Serge Autexier, Dieter Hutter, Heiko Mantel, Axel Schairer
      Pages 207-211
    3. Matthias Baaz, Alexander Leitsch, Georg Moser
      Pages 212-216
    4. Jason Hickey
      Pages 227-231
    5. Thomas Hillenbrand, Andreas Jaeger, Bernd Löchner
      Pages 232-236
  8. Session 7

  9. Session 8: System Descriptions

    1. Alexandre Riazanov, Andrei Voronkov
      Pages 292-296
    2. Stephan Schulz
      Pages 297-301
  10. Session 9

  11. Session 10

    1. Peter Baumgartner, Norbert Eisinger, Ulrich Furbach
      Pages 329-343
    2. Marc Fuchs, Dirk Fuchs
      Pages 344-358
    3. Matthew Bishop
      Pages 359-373
  12. Session 11: System Competitions

    1. Dieter Hutter, Alan Bundy
      Pages 374-377
  13. Session 12: System Descriptions

    1. Christoph Weidenbach, Bijan Afshordel, Uwe Brahm, Christian Cohrs, Thorsten Engel, Enno Keen et al.
      Pages 378-382
    2. K Open image in new window: A Theorem Prover for K
      Andrei Voronkov
      Pages 383-387
    3. Jon Whittle, Alan Bundy, Richard Boulton, Helen Lowe
      Pages 388-392
  14. Session 13

  15. Back Matter
    Pages 429-429

About these proceedings

Keywords

Automat Formal Reasonning Formal Verification Proof Theory Theorem Proving automated deduction proving

Authors and affiliations

  • Harald Ganzinger
    • 1
  1. 1.Max-Planck-Institut für InformatikSaarbrückenGermany

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-48660-7
  • Copyright Information Springer-Verlag Berlin Heidelberg 1999
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-66222-8
  • Online ISBN 978-3-540-48660-2
  • Series Print ISSN 0302-9743
  • Buy this book on publisher's site