Advertisement

SETHEO V3.2: Recent developments

System abstract
  • Chr. Goller
  • R. Letz
  • K. Mayr
  • J. Schumann
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 814)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [Ast92]
    O. W. Astrachan and M. E. Stickel. Caching and Lemmaizing in Model Elimination Theorem Provers. Proceedings of the 11th Conference on Automated Deduction (CADE-11), LNAI 607, Saratoga Springs, pages 224–238, Springer, 1992.Google Scholar
  2. [Lov78]
    D. W. Loveland. Automated Theorem Proving: a Logical Basis. North-Holland, 1978.Google Scholar
  3. [LSBB92]
    R. Letz, J. Schumann, S. Bayerl, and W. Bibel. SETHEO: A High-Performance Theorem Prover. Journal of Automated Reasoning, 8(2):183–212, 1992.Google Scholar
  4. [LMG93]
    R. Letz, K. Mayr, and C. Goller. Controlled Integrations of the Cut Rule into Connection Tableau Calculi. Technical Report, Techn. Univ. Munich, 1993. Submitted to the Journal of Automated Reasoning.Google Scholar
  5. [McC93]
    W. W. McCune. Otter 3.0 Reference Manual and Guide DRAFT Computer Science Division, Argonne National Laboratory, 1993.Google Scholar
  6. [Sho76]
    R. E. Shostak. Refutation Graphs. Artificial Intelligence, 7:51–64, 1976.Google Scholar
  7. [Sch94]
    J. Schumann. DELTA — A Bottom-up Preprocessor for Top-Down Theorem Provers, System Abstract. Proceedings of the 12th International Conference on Automated Deduction (this volume), 1994.Google Scholar
  8. [SSY94]
    G. Sutcliffe, C. B. Suttner, and T. Yemenis. The TPTP Problem Library. Proceedings of the 12th International Conference on Automated Deduction (this volume), 1994.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1994

Authors and Affiliations

  • Chr. Goller
    • 1
  • R. Letz
    • 1
  • K. Mayr
    • 1
  • J. Schumann
    • 1
  1. 1.Institut für InformatikTechnische Universität MünchenMünchen

Personalised recommendations