System abstract: E 0.61

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2083 LNAI, Issue , 2001, Pages 370-375

  Schulz, Stephan ^a  

^a TECHNICAL UNIVERSITY OF MUNICH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE; COMPUTERS; SEMANTICS;

CLAUSE SELECTIONS; FLEXIBLE INTERFACES; LITERALS; PROOF SEARCH; THEOREM PROVERS;

ARTIFICIAL INTELLIGENCE; COMPUTATION THEORY;

EID: 84867766799     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45744-5_28     Document Type: Conference Paper

References (9)

1. J. Avenhaus, T. Hillenbrand, and B. Löchner. On Using Ground Joinable Equations in Equational Theorem Proving. Proc. of the 3rd FTP, St. Andrews, Scottland, Fachberichte Informatik. Universität Koblenz-Landau, 2000. (revised version submitted to the JSC).
2. L. Bachmair and H. Ganzinger. Rewrite-Based Equational Theorem Proving with Selection and Simplification. Journal of Logic and Computation, 3(4):217-247, 1994.
3. J. Denzinger, M. Kronenburg, and S. Schulz. DISCOUNT: A Distributed and Learning Equational Prover. Journal of Automated Reasoning, 18(2):189-198, 1997.
4. S. Schulz. System Abstract: E 0.3. Proc. of the 16th CADE, Trento, LNAI 1632, 297-391. Springer, 1999.
5. S. Schulz. The E Web Site. http://wwwjessen.informatik.tu-muenchen.de/ ~schulz/WORK/-eprover.html, 1999.
6. S. Schulz. The E Equational Theorem Prover - User Manual. Automated Reasoning Group, Institut für Informatik, TU München, 2001. (to appear).
7. S. Schulz. Learning Search Control Knowledge for Equational Deduction. DISKI 230. Akademische Verlagsgesellschaft Aka GmbH Berlin, 2000.
8. G. Sutcliffe, C.B. Suttner, and T. Yemenis. The TPTP Problem Library. Proc. of the 12th CADE, Nancy, LNAI 814, 252-266. Springer, 1994.
9. G. Sutcliffe. The CADE-17 ATP System Competition. Journal of Automated Reasoning, 2001 (to appear).