Automated Deduction — CADE-16

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

  • Harald Ganzinger
Conference proceedings CADE 1999

DOI: 10.1007/3-540-48660-7

Part of the Lecture Notes in Computer Science book series (LNCS, 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

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

  • 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