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