Volume 18,
Number 1,
February 1997
- Larry M. Hines:
A Tribute to Woody Bledsoe.
1-4 BibTeX
- Rong-Huei Hou, Tzung-Pei Hong, Shian-Shyong Tseng, Sy-Yen Kuo:
A New Probabilistic Induction Method.
5-24 BibTeX
- Grigoris Antoniou, Elmar Langetepe:
A Correct Logic Programming Computation of Default Logic Extensions.
25-46 BibTeX
- Anavai Ramesh, Bernhard Beckert, Reiner Hähnle, Neil V. Murray:
Fast Subsumption Checks Using Anti-Links.
47-83 BibTeX
- Simon Finn, Michael P. Fourman, John Longley:
Partial Functions in a Total Setting.
85-104 BibTeX
- Li Dafa:
Unification Algorithms for Eliminating and Introducing Quantifiers in Natural Deduction Automated Theorem Proving.
105-134 BibTeX
- Francis Jeffry Pelletier, Geoff Sutcliffe:
An Erratum for Some Errata to ATP Problems.
135 BibTeX
Volume 18,
Number 2,
April 1997
The CADE-13 Automated Theorem Proving System Competition
- Geoff Sutcliffe, Christian B. Suttner:
The CADE-13 ATP System Competition.
137-138 BibTeX
- Geoff Sutcliffe, Christian B. Suttner:
The Design of the CADE-13 ATP System Competition.
139-162 BibTeX
- Geoff Sutcliffe, Christian B. Suttner:
The Procedures of the CADE-13 ATP System Competition.
163-169 BibTeX
- Robert Nieuwenhuis, José Miguel Rivero, Miguel Ángel Vallejo:
Barcelona.
171-176 BibTeX
- Geoffrey D. Alexander:
CLIN-E - Smallest Instance First Hyper-Linking.
177-182 BibTeX
- Heng Chu, David A. Plaisted:
CLIN-S - A Semantically Guided First-Order Theorem Prover.
183-188 BibTeX
- Jörg Denzinger, Martin Kronenburg, Stephan Schulz:
DISCOUNT - A Distributed and Learning Equational Prover.
189-198 BibTeX
- Tanel Tammet:
Gandalf.
199-204 BibTeX
- Reinhold Letz:
LINUS - A Link Instantion Prover with Unit Support.
205-210 BibTeX
- William McCune, Larry Wos:
Otter - The CADE-13 Competition Incarnations.
211-220 BibTeX
- M. Paramasivam, David A. Plaisted:
RRTP - A Replacement Rule Theorem Prover.
221-226 BibTeX
- Tim Geisler, Sven Panne, Heribert Schütz:
Satchmo - The Compiling and Functional Variants.
227-236 BibTeX
- Max Moser, Ortrun Ibens, Reinhold Letz, Joachim Steinbach, Christoph Goller, Johann Schumann, Klaus Mayr:
SETHEO and E-SETHEO - The CADE-13 Systems.
237-246 BibTeX
- Christoph Weidenbach:
SPASS - Version 0.49.
247-252 BibTeX
- Christian B. Suttner:
SPTHEO - A Parallel Theorem Prover.
253-258 BibTeX
- Steve Greenbaum:
Violet.
259-264 BibTeX
- Thomas Hillenbrand, Arnim Buch, Roland Vogt, Bernd Löchner:
WALDMEISTER - High-Performance Equational Deduction.
265-270 BibTeX
- Geoff Sutcliffe, Christian B. Suttner:
The Results - of the CADE-13 ATP System Competition.
271-286 BibTeX
- Francis Jeffry Pelletier, Geoff Sutcliffe, Christian B. Suttner:
Conclusions about the CADE-13 ATP System Competition.
287-296 BibTeX
Volume 18,
Number 3,
June 1997
Copyright © Sun May 17 00:06:23 2009
by Michael Ley (ley@uni-trier.de)
