1990 share record
persistent URL:
James A. Altucher , Prakash Panangaden : A Mechanically Assisted Constructive Proof in Category Theory. CADE 1990 : 500-513 share record
persistent URL:
Peter B. Andrews , Sunil Issar , Dan Nesmith , Frank Pfenning : The TPS Theorem Proving System. CADE 1990 : 641-642 share record
persistent URL:
Franz Baader : Rewrite Systems for Varieties of Semigroups. CADE 1990 : 396-410 share record
persistent URL:
Leo Bachmair , Harald Ganzinger : On Restrictions of Ordered Paramodulation with Simplification. CADE 1990 : 427-441 share record
persistent URL:
Chitta Baral , Jorge Lobo , Jack Minker : Generalized Well-founded Semantics for Logic Programs (Extended Abstract). CADE 1990 : 102-116 share record
persistent URL:
David A. Basin : Equality of Terms Containing Associative-Commutative Functions and Commutative Binding Operators in Isomorphism Complete. CADE 1990 : 251-260 share record
persistent URL:
Dan Benanav : Simultaneous Paramodulation. CADE 1990 : 442-455 share record
persistent URL:
Wolfgang Bibel : Perspectives on Automated Deduction (Abstract). CADE 1990 : 426 share record
persistent URL:
Alexandre Boudet : Unification in a Combination of Equational Theories: an Efficient Algorithm. CADE 1990 : 292-307 share record
persistent URL:
Robert S. Boyer , J Strother Moore : A Theorem Prover for a Computational Logic. CADE 1990 : 1-15 share record
persistent URL:
Frank M. Brown , Carlos Araya : Schemata. CADE 1990 : 643-644 share record
persistent URL:
Frank M. Brown , Carlos Araya : Cylindric Algebra Equation Solver. CADE 1990 : 645-646 share record
persistent URL:
Alan Bundy : A Science of Reasoning: Extended Abstract. CADE 1990 : 633-640 share record
persistent URL:
Alan Bundy , Frank van Harmelen , Christian Horn , Alan Smaill : The Oyster-Clam System. CADE 1990 : 647-648 share record
persistent URL:
Alan Bundy , Frank van Harmelen , Alan Smaill , Andrew Ireland : Extensions to the Rippling-Out Tactic for Guiding Inductive Proofs. CADE 1990 : 132-146 share record
persistent URL:
Hans-Jürgen Bürckert : A Resolution Principle for Clauses with Constraints. CADE 1990 : 178-192 share record
persistent URL:
Ralph Butler , Ian T. Foster , Anita Jindal , Ross A. Overbeek : A High-Performance Parallel Theorem Prover. CADE 1990 : 649-650 share record
persistent URL:
Shang-Ching Chou , Xiao-Shan Gao : Ritt-Wu's Decomposition Algorithm and Geometry Theorem Proving. CADE 1990 : 207-220 share record
persistent URL:
Newton C. A. da Costa , Lawrence J. Henschen , James J. Lu , V. S. Subrahmanian : Automatic Theorem Proving in Paraconsistent Logics: Theory and Implementation. CADE 1990 : 72-86 share record
persistent URL:
Daniel J. Dougherty , Patricia Johann : An Improved General E-Unification Method. CADE 1990 : 261-275 export record
dblp key:
conf/cade/EichenlaubEHKP90 share record
persistent URL:
Carl Eichenlaub , Bruce Esrig , James Hook , Carl Klapper , Garrel Pottinger : The Romulus Proof Checker. CADE 1990 : 651-652 share record
persistent URL:
William M. Farmer , Joshua D. Guttman , F. Javier Thayer : IMPS: An Interactive Mathematical Proof System. CADE 1990 : 653-654 share record
persistent URL:
Amy P. Felty , Elsa L. Gunter , Dale Miller , Frank Pfenning : Tutorial on Lambda-Prolog. CADE 1990 : 682 share record
persistent URL:
Amy P. Felty , Dale Miller : Encoding a Dependent-Type Lambda-Calculus in a Logic Programming Language. CADE 1990 : 221-235 share record
persistent URL:
Bernhard Gramlich : UNICOM: A Refined Completion Based Inductive Theorem Prover. CADE 1990 : 655-656 share record
persistent URL:
Masami Hagiya : Programming by Example and Proving by Example Using Higher-order Unification. CADE 1990 : 588-602 share record
persistent URL:
Maritta Heisel , Wolfgang Reif , Werner Stephan : Tactical Theorem Proving in Program Verification. CADE 1990 : 117-131 share record
persistent URL:
Larry M. Hines : Str+ve-Subset: The Str+ve-based Subset Prover. CADE 1990 : 193-206 share record
persistent URL:
Jieh Hsiang , Jean-Pierre Jouannaud : Tutorial on Rewrite-Based Theorem Proving. CADE 1990 : 684 share record
persistent URL:
Dieter Hutter : Guiding Induction Proofs. CADE 1990 : 147-161