11. CADE 1992:
Saratoga Springs,
NY,
USA
Deepak Kapur (Ed.):
Automated Deduction - CADE-11, 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992, Proceedings.
Lecture Notes in Computer Science 607 Springer 1992, ISBN 3-540-55602-8 BibTeX
@proceedings{DBLP:conf/cade/1992,
editor = {Deepak Kapur},
title = {Automated Deduction - CADE-11, 11th International Conference
on Automated Deduction, Saratoga Springs, NY, USA, June 15-18,
1992, Proceedings},
booktitle = {CADE},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {607},
year = {1992},
isbn = {3-540-55602-8},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Session I:
Keynote Address
- Larry Wos:
The Impossibility of the Automation of Logical Reasoning.
1-3 BibTeX
Session II
Session III A
Session III B
Session IV
Session V:
Banquet Address
Session VI
Session VII
Session VIII A
Session VIII B
Session IX
Session X:
Invited Talk
Grigori Mints:
Proof Search Theory and Practice in the (former) USSR. 461 (Title only,
no abstract or article in the proceedings)
Session XI
Session XII A
Session XII B
Session XIII
System Abstracts
- Li Dafa:
A Natural Deduction Automated Theorem Proving System.
668-672 BibTeX
- Tobias Nipkow, Lawrence C. Paulson:
Isabelle-91.
673-676 BibTeX
- Geoff Sutcliffe:
The Semantically Guided Linear Deduction System.
677-680 BibTeX
- Kurt Ammon:
The SHUNYATA System.
681-685 BibTeX
- Shang-Ching Chou:
A Geometry Theorem Prover for Macintoshes.
686-690 BibTeX
- Xin Hua, Hantao Zhang:
FRI: Failure-Resistant Induction in RRL.
691-695 BibTeX
- Hantao Zhang:
Herky: High Performance Rewriting in RRL.
696-700 BibTeX
- William M. Farmer, Joshua D. Guttman, F. Javier Thayer:
IMPS: System Description.
701-705 BibTeX
- Geoffrey D. Alexander, David A. Plaisted:
Proving Equality Theorems with Hyper-Linking.
706-710 BibTeX
- Jawahar Chirimar, Carl A. Gunter, Myra Van Inwegen:
Xpnet: A Graphical Interface to Proof Nets with an Efficient Proof Checker.
711-715 BibTeX
- Dave Barker-Plummer, Sidney C. Bailin, Andrew S. Merrill:
&: Automated Natural Deduction.
716-720 BibTeX
- Tomás E. Uribe, Alan M. Frisch, Michael K. Mitchell:
An Overview of FRAPPS 2.0: A Framework for Resolution-based Automated Proof Procedure Systems.
721-725 BibTeX
- Dave Barker-Plummer, Alex Rothenberg:
The GAZER Theorem Prover.
726-730 BibTeX
- Ewing L. Lusk, William McCune, John K. Slaney:
ROO: A Parallel Theorem Prover.
731-734 BibTeX
- Tie-Cheng Wang, Allen Goldberg:
RVF: An Automated Formal Verification System.
735-739 BibTeX
- Johann Schumann:
KPROP - An AND-parallel Theorem Prover for Propositional Logic implemented in KL1 (System Abstract).
740-742 BibTeX
- K. Blackburn:
A Report in ICL HOL.
743-747 BibTeX
- Sam Owre, John M. Rushby, Natarajan Shankar:
PVS: A Prototype Verification System.
748-752 BibTeX
- Wolfgang Reif:
The KIV System: Systematic Construction of Verified Software.
753-757 BibTeX
- Bernhard Beckert, Stefan Gerberding, Reiner Hähnle, Werner Kernig:
The Tableau-Based Theorem Prover 3TAP for Multi-Valued Logics.
758-760 BibTeX
- Edmund M. Clarke, Xudong Zhao:
Analytica - A Theorem Prover in Mathematica.
761-765 BibTeX
- Klaus Schneider, Ramayya Kumar, Thomas Kropf:
The FAUST - Prover.
766-770 BibTeX
- Dan Craigen, Sentot Kromodimoeljo, Irwin Meisels, Bill Pase, Mark Saaltink:
Eves System Description.
771-775 BibTeX
- Ryuzo Hasegawa, Miyuki Koshimura, Hiroshi Fujita:
MGTP: A Parallel Theorem Prover Based on Lazy Model Generation.
776-780 BibTeX
Problem Sets
Copyright © Sat May 16 23:00:05 2009
by Michael Ley (ley@uni-trier.de)