8. CADE 1986:
Oxford,
England
Jörg H. Siekmann (Ed.):
8th International Conference on Automated Deduction, Oxford, England, July 27 - August 1, 1986, Proceedings.
Lecture Notes in Computer Science 230 Springer 1986, ISBN 3-540-16780-3 BibTeX
@proceedings{DBLP:conf/cade/1986,
editor = {J{\"o}rg H. Siekmann},
title = {8th International Conference on Automated Deduction, Oxford,
England, July 27 - August 1, 1986, Proceedings},
booktitle = {CADE},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {230},
year = {1986},
isbn = {3-540-16780-3},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Invited Talk
Term Rewriting Systems
- Leo Bachmair, Nachum Dershowitz:
Commutation, Transformation, and Termination.
5-20 BibTeX
- Sara Porat, Nissim Francez:
Full-Commutation and Fair-Termination in Equational (and Combined) Term-Rewriting Systems.
21-41 BibTeX
- Ahlem Ben Cherifa, Pierre Lescanne:
An Actual Implementation of a Procedure That Mechanically Proves Termination of Rewriting Systems Based on Inequalities Between Polynomial Interpretations.
42-51 BibTeX
- Isabelle Gnaedig, Pierre Lescanne:
Proving Termination of Associative Commutative Rewriting Systems by Rewriting.
52-61 BibTeX
- Roland Dietrich:
Relating Resolution and Algebraic Completion for Horn Logic.
62-78 BibTeX
- David A. Plaisted:
A Simple Non-Termination Test for the Knuth-Bendix Method.
79-88 BibTeX
- Rafael Dueire Lins:
A New Formula for the Execution of Categorial Combinators.
89-98 BibTeX
- Deepak Kapur, Paliath Narendran, Hantao Zhang:
Proof by Induction Using Test Sets.
99-117 BibTeX
- Yoshihito Toyama:
How to Prove Equivalence of Term Rewriting Systems without Induction.
118-127 BibTeX
- Hubert Comon:
Sufficient Completness, Term Rewriting Systems and "Anti-Unification".
128-140 BibTeX
- Jieh Hsiang, Michaël Rusinowitch:
A New Method for Establishing Refutational Completeness in Theorem Proving.
141-152 BibTeX
Nonclassical Deduction
Equality Reasoning
Program Verification
Graph Based Deduction
Special Deduction Systems
Invited Talk
Constructive ATP
Unification Theory
Theoretical Issues
Logic Programming Oriented Deduction Systems
Deductive Databases,
Planning,
Synthesis
Extended Abstracts of Courrent Deduction Systems
- Peter B. Andrews, Frank Pfenning, Sunil Issar, C. P. Klapper:
The TPS Theorem Proving System.
663-664 BibTeX
- Jürgen Avenhaus, Benjamin Benninghofen, Rüdiger Göbel, Klaus Madlener:
TRSPEC: A Term Rewriting Based System for Algebraic Specifications.
665-667 BibTeX
- M. Bayerl:
Highly Parallel Inference Machine.
668-669 BibTeX
- Christoph Beierle, Walter G. Olthoff, Angi Voß:
Automatic Theorem Proving in the ISDV System.
670-671 BibTeX
- Susanne Biundo, B. Hummel, Dieter Hutter, Christoph Walther:
The Karlsruhe Induction Theorem Proving System.
672-674 BibTeX
- Robert S. Boyer, J. Strother Moore:
Overview of a Theorem-Prover for A Computational Logic.
675-678 BibTeX
- Shang-Ching Chou:
GEO-Prover - A Geometry Theorem Prover Developed at UT.
679-680 BibTeX
- Norbert Eisinger, Hans Jürgen Ohlbach:
The Markgraf Karl Refutation Procedure (MKRP).
681-682 BibTeX
- Jacek Gibert:
The J-Machine: Functional Programming with Combinators.
683-684 BibTeX
- Steven Greenbaum, David A. Plaisted:
The Illinois Prover: A General Purpose Resolution Theorem Prover.
685-687 BibTeX
- Gérard P. Huet:
Theorem Proving Systems of the Formel Project.
687-688 BibTeX
- Heinrich Hußmann:
The Passau RAP System: Prototyping Algebraic Specifications Using Conditional Narrowing.
689-690 BibTeX
- Deepak Kapur, G. Sivakumar, Hantao Zhang:
RRL: A Rewrite Rule Laboratory.
691-692 BibTeX
- B. Kutzler, Sabine Stifter:
A Geometry Theorem Prover Based on Buchberger's Algorithm.
693-694 BibTeX
- Pierre Lescanne:
REVE a Rewrite Rule Laboratory.
695-696 BibTeX
- Ewing L. Lusk, William McCune, Ross A. Overbeek:
ITP at Argonne National Laboratory.
697-698 BibTeX
- Charles G. Morgan:
AUTOLOGIC at University of Victoria.
699-700 BibTeX
- Francis Jeffry Pelletier:
THINKER.
701-702 BibTeX
- Mark E. Stickel:
The KLAUS Automated Deduction System.
703-704 BibTeX
- Paul B. Thistlewaite, Michael A. McRobbie, Robert K. Meyer:
The KRIPKE Automated Theorem Proving System.
705-706 BibTeX
- Tie-Cheng Wang:
SHD-Prover at University of Texas at Austin.
707-708 BibTeX
Copyright © Sat May 16 23:00:04 2009
by Michael Ley (ley@uni-trier.de)