10. CADE 1990:
Kaiserslautern,
Germany
Mark E. Stickel (Ed.):
10th International Conference on Automated Deduction, Kaiserslautern, FRG, July 24-27, 1990, Proceedings.
Lecture Notes in Computer Science 449 Springer 1990, ISBN 3-540-52885-7 BibTeX
@proceedings{DBLP:conf/cade/1990,
editor = {Mark E. Stickel},
title = {10th International Conference on Automated Deduction, Kaiserslautern,
FRG, July 24-27, 1990, Proceedings},
booktitle = {CADE},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {449},
year = {1990},
isbn = {3-540-52885-7},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Session 1:
Keynote Address
Session 2
Session 3
Session 4
Session 5
Session 6
Session 7
Session 8
Session 9
Session 10:
Invited Talk
Session 11
Session 12
Session 13
Session 14
Session 15:
Invited Talk
System Abstracts
- Peter B. Andrews, Sunil Issar, Dan Nesmith, Frank Pfenning:
The TPS Theorem Proving System.
641-642 BibTeX
- Frank M. Brown, Carlos Araya:
Schemata.
643-644 BibTeX
- Frank M. Brown, Carlos Araya:
Cylindric Algebra Equation Solver.
645-646 BibTeX
- Alan Bundy, Frank van Harmelen, Christian Horn, Alan Smaill:
The Oyster-Clam System.
647-648 BibTeX
- Ralph Butler, Ian T. Foster, Anita Jindal, Ross A. Overbeek:
A High-Performance Parallel Theorem Prover.
649-650 BibTeX
- Carl Eichenlaub, Bruce Esrig, James Hook, Carl Klapper, Garrel Pottinger:
The Romulus Proof Checker.
651-652 BibTeX
- William M. Farmer, Joshua D. Guttman, F. Javier Thayer:
IMPS: An Interactive Mathematical Proof System.
653-654 BibTeX
- Bernhard Gramlich:
UNICOM: A Refined Completion Based Inductive Theorem Prover.
655-656 BibTeX
- Thomas Käufl, Nicolas Zabel:
The Theorem Prover of the Program Verifier Tatzelwurm.
657-658 BibTeX
- Matt Kaufmann:
RCL: A Lisp Verification System.
659-660 BibTeX
- Pierre Lescanne:
ORME: An Implementation of Completion Procedures as Sets of Transition Rules.
661-662 BibTeX
- William McCune:
OTTER 2.0.
663-664 BibTeX
- Neil V. Murray, Erik Rosenthal:
DISSOLVER: A Dissolution-based Theorem Prover.
665-666 BibTeX
- Robert Nieuwenhuis, Fernando Orejas, Albert Rubio:
TRIP: An Implementation of Clausal Rewriting.
667-668 BibTeX
- John L. Pollock:
OSCAR.
669-670 BibTeX
- Ronald W. Satz:
EXPERT THINKER: An Adaptation of F-Prolog to Microcomputers.
671-672 BibTeX
- Mark E. Stickel:
A Prolog Technology Theorem Prover.
673-674 BibTeX
- Geoff Sutcliffe:
A General Clause Theorem Prover.
675-676 BibTeX
- Andrei Voronkov:
LISS - The Logic Inference Search System.
677-678 BibTeX
- David A. Wolfram:
ACE: The Abstract Clause Engine.
679-680 BibTeX
Tutorials
- Ewing L. Lusk, William McCune:
Tutorial on High-Performance Automated Theorem Proving.
681 BibTeX
- Jürgen Müller, Franz Baader, Bernhard Nebel, Werner Nutt, Gert Smolka:
Tutorial on Reasoning and Representation with Concept Languages.
681 BibTeX
- Amy P. Felty, Elsa L. Gunter, Dale Miller, Frank Pfenning:
Tutorial on Lambda-Prolog.
682 BibTeX
- Claude Kirchner:
Tutorial on Equational Unification.
682 BibTeX
- Hans Jürgen Ohlbach, Andreas Herzig:
Tutorial on Compilation techniques for Logics.
683 BibTeX
- Johann Schumann, Reinhold Letz, Franz J. Kurfess:
Tutorial on High-Performance Theorem Provers: Efficient Implementation and Parallelisation.
683 BibTeX
- Jieh Hsiang, Jean-Pierre Jouannaud:
Tutorial on Rewrite-Based Theorem Proving.
684 BibTeX
- Richard J. Waldinger:
Tutorial on Program-Synthetic Deduction.
684 BibTeX
- Paul Pritchard, John K. Slaney:
Tutorial on Computing Models of Propositional Logics.
685 BibTeX
Copyright © Sat May 16 23:00:04 2009
by Michael Ley (ley@uni-trier.de)
