12. CADE 1994:
Nancy,
France
Alan Bundy (Ed.):
Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26 - July 1, 1994, Proceedings.
Lecture Notes in Computer Science 814 Springer 1994, ISBN 3-540-58156-1 BibTeX
@proceedings{DBLP:conf/cade/1994,
editor = {Alan Bundy},
title = {Automated Deduction - CADE-12, 12th International Conference
on Automated Deduction, Nancy, France, June 26 - July 1, 1994,
Proceedings},
booktitle = {CADE},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {814},
year = {1994},
isbn = {3-540-58156-1},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Invited Talk
- John K. Slaney:
The Crisis in Finite Mathematics: Automated Reasoning as Cause and Cure.
1-13 BibTeX
Heuristics for Induction
Experiments with Resolution Systems
Implicit vs. Explicit Induction
Induction
Heuristics for Controlling Resolution
Panel Discussion
- Robert S. Boyer:
Panel Discussion: A Mechanically Proof-Checked Encyclopedia of Mathematics: Should We Build One? Can We?
237 BibTeX
- The QED Manifesto.
238-251 BibTeX
ATP Problems
Unification
Logic Programming Applications
Applications
Special-Purpose Provers
Banquet Speech
Invited Talk
Rewrite Rule Termination
ATP Efficiency
Invited Talk
AC Unification
Higher-Order Theorem Proving
Higher-Order Unification
General Unification
Natural Systems
Problem Sets
System Descriptions
- John K. Slaney, Ewing L. Lusk, William McCune:
SCOTT: Semantically Constrained Otter System Description.
764-768 BibTeX
- Peter Baumgartner, Ulrich Furbach:
PROTEIN: A PROver with a Theory Extension INterface.
769-773 BibTeX
- Johann Schumann:
DELTA - A Bottom-up Preprocessor for Top-Down Theorem Provers - System Abstract.
774-777 BibTeX
- Christoph Goller, Reinhold Letz, Klaus Mayr, Johann Schumann:
SETHEO V3.2: Recent Developments - System Abstract.
778-782 BibTeX
- Wolfgang Bibel, Stefan Brüning, Uwe Egly, Thomas Rath:
KoMeT.
783-787 BibTeX
- Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg H. Siekmann:
Omega-MKRP: A Proof Development Environment.
788-792 BibTeX
- Bernhard Beckert, Joachim Posegga:
leanTAP: Lean Tableau-Based Theorem Proving (Extended Abstract).
793-797 BibTeX
- John K. Slaney:
FINDER: Finite Domain Enumerator - System Description.
798-801 BibTeX
- Frederic D. Portoraro:
Symlog: Automated Advice in Fitch-style Proof Construction.
802-806 BibTeX
- Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg H. Siekmann:
KEIM: A Toolkit for Automated Deduction.
807-810 BibTeX
- Frank Pfenning:
Elf: A Meta-Language for Deductive Systems (System Descrition).
811-815 BibTeX
- Takeshi Ohtani, Hajime Sawamura, Toshiro Minami:
EUODHILOS-II on Top of GNU Epoch.
816-820 BibTeX
- Lars-Henrik Eriksson:
Pi: an Interactive Derivation Editor for the Calculus of Partial Inductive Definitions.
821-825 BibTeX
- Bradley L. Richards, Ina Kraan, Alan Smaill, Geraint A. Wiggins:
Mollusc: A General Proof-Development Shell for Sequent-Based Logics.
826-830 BibTeX
- Tie-Cheng Wang, Allen Goldberg:
KITP-93: An Automated Inference System for Program Analysis.
831-835 BibTeX
- Adel Bouhoula:
SPIKE: a System for Sufficient Completeness and Parameterized Inductive Proofs.
836-840 BibTeX
- Maria Paola Bonacina, William McCune:
Distributed Theorem Proving by Peers.
841-845 BibTeX
Copyright © Sat May 16 23:00:05 2009
by Michael Ley (ley@uni-trier.de)
