- Larry M. Hines:
Str+ve and Integers. CADE 1994: 416-430 - Xiaorong Huang:
Reconstruction Proofs at the Assertion Level. CADE 1994: 738-752 - Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg H. Siekmann:
Omega-MKRP: A Proof Development Environment. CADE 1994: 788-792 - Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg H. Siekmann:
KEIM: A Toolkit for Automated Deduction. CADE 1994: 807-810 - Dieter Hutter:
Synthesis of Induction Orderings for Existence Proofs. CADE 1994: 29-41 - Koji Iwanuma:
Conservative Query Normalization on Parallel Circumscription. CADE 1994: 296-310 - Paul B. Jackson:
Exploring Abstract Algebra in Constructive Type Theory. CADE 1994: 590-604 - Patricia Johann, Michael Kohlhase:
Unification in an Extensional Lambda Calculus with Ordered Function Sorts and Constant Overloading. CADE 1994: 620-634 - Manfred Kerber, Michael Kohlhase:
A Mechanization of Strong Kleene Logic for Partial Functions. CADE 1994: 371-385 - Stefan Klingenbeck, Reiner Hähnle:
Semantic Tableaux with Ordering Restrictions. CADE 1994: 708-722 - Olav Lysne:
On the Connection between Narrowing and Proof by Consistency. CADE 1994: 133-147 - Ursula Martin:
Termination, Geometry and Invariants. CADE 1994: 432-434 - Fabio Massacci:
Strongly Analytic Tableaux for Normal Modal Logics. CADE 1994: 723-737 - Nicholas Freitag McPhee, Shang-Ching Chou, Xiao-Shan Gao:
Mechanically Proving Geometry Theorems Using a Combination of Wu's Method and Collins' Method. CADE 1994: 401-415 - Aart Middeldorp, Hans Zantema:
Simple Termination Revisited. CADE 1994: 451-465 - Olaf Müller, Franz Weber:
Theory and Practice of Minimal Modular Higher-Order E-Unification. CADE 1994: 650-664 - Robert Nieuwenhuis, Albert Rubio:
AC-Superposition with Constraints: No AC-Unifiers Needed. CADE 1994: 545-559 - Takeshi Ohtani, Hajime Sawamura, Toshiro Minami:
EUODHILOS-II on Top of GNU Epoch. CADE 1994: 816-820 - Lawrence C. Paulson:
A Fixedpoint Approach to Implementing (Co)Inductive Definitions. CADE 1994: 148-161 - Frank Pfenning:
Elf: A Meta-Language for Deductive Systems (System Descrition). CADE 1994: 811-815 - David A. Plaisted:
The Search Efficiency of Theorem Proving Strategies. CADE 1994: 57-71 - Richard Platek:
What is a Proof? (Abstract). CADE 1994: 431 - Frederic D. Portoraro:
Symlog: Automated Advice in Fitch-style Proof Construction. CADE 1994: 802-806 - Christian Prehofer:
Decidable Higher-Order Unification Problems. CADE 1994: 635-649 - Martin Protzen:
Lazy Generation of Induction Hypotheses. CADE 1994: 42-56 - Bradley L. Richards, Ina Kraan, Alan Smaill, Geraint A. Wiggins:
Mollusc: A General Proof-Development Shell for Sequent-Based Logics. CADE 1994: 826-830 - Véronique Royer, Joachim Quantz:
On Intuitionistic Query Answering in Description Bases. CADE 1994: 326-340 - Gernot Salzer:
Primal Grammars and Unification Modulo a Binary Clause. CADE 1994: 282-295 - Johann Schumann:
DELTA - A Bottom-up Preprocessor for Top-Down Theorem Provers - System Abstract. CADE 1994: 774-777 - John K. Slaney:
The Crisis in Finite Mathematics: Automated Reasoning as Cause and Cure. CADE 1994: 1-13