Conferences in DBLP
Luigia Carlucci Aiello , Richard W. Weyhrauch Using Meta-Theoretic Reasoning to do Algebra. [Citation Graph (0, 0)][DBLP ] CADE, 1980, pp:1-13 [Conf ] Gábor Belovári , J. A. Campbell Generating Contours of Integration: An Application of Prolog in Symbolic Computing. [Citation Graph (0, 0)][DBLP ] CADE, 1980, pp:14-23 [Conf ] Alan Bundy , Bob Welham Using Meta-Level Inference for Selective Application of Multiple Rewrite Rules in Algebraic Manipulation. [Citation Graph (0, 0)][DBLP ] CADE, 1980, pp:24-38 [Conf ] Chris Goad Proofs as Description of Computation. [Citation Graph (0, 0)][DBLP ] CADE, 1980, pp:39-52 [Conf ] Gérard D. Guiho , Christian Gresse Program Synthesis from Incomplete Specifiactions. [Citation Graph (0, 0)][DBLP ] CADE, 1980, pp:53-62 [Conf ] Laurent Kott A System for Proving Equivalences of Recursive Programs. [Citation Graph (0, 0)][DBLP ] CADE, 1980, pp:63-69 [Conf ] W. W. Bledsoe , Larry M. Hines Variable Elimination and Chaining in a Resolution-based Prover for Inequalities. [Citation Graph (1, 0)][DBLP ] CADE, 1980, pp:70-87 [Conf ] Alfredo Ferro , Eugenio G. Omodeo , Jacob T. Schwartz Decision Procedures for Some Fragments of Set Theory. [Citation Graph (0, 0)][DBLP ] CADE, 1980, pp:88-96 [Conf ] Donald W. Loveland , Robert E. Shostak Simplifying Interpreted Formulas. [Citation Graph (0, 0)][DBLP ] CADE, 1980, pp:97-109 [Conf ] Frederick C. Furtek Specification and Verification of Real-Time, Distributed Systems Using the Theory of Constraints. [Citation Graph (0, 0)][DBLP ] CADE, 1980, pp:110-125 [Conf ] Leonard Friedman Reasoning by Plausible Inference. [Citation Graph (0, 0)][DBLP ] CADE, 1980, pp:126-142 [Conf ] Alan M. Thompson Logical Support in a Time-Varying Model. [Citation Graph (0, 0)][DBLP ] CADE, 1980, pp:143-153 [Conf ] Paul Y. Gloess An Experiment with the Boyer-Moore Theorem Prover: A Proof of the Correctness of a Simple Parser of Expressions. [Citation Graph (0, 0)][DBLP ] CADE, 1980, pp:154-169 [Conf ] Jacek Leszczylowski An Experiment with "Edinburgh LCF". [Citation Graph (0, 0)][DBLP ] CADE, 1980, pp:170-181 [Conf ] Rob Nederpelt An Approach to Theorem Proving on the Basis of a Typed Lambda-Calculus. [Citation Graph (0, 0)][DBLP ] CADE, 1980, pp:182-194 [Conf ] Paul Y. Gloess , Jean-Pierre H. Laurent Adding Dynamic Paramodulation to Rewrite Algorithms. [Citation Graph (0, 0)][DBLP ] CADE, 1980, pp:195-207 [Conf ] Larry Wos , Ross A. Overbeek , Lawrence J. Henschen Hyperparamodulation: A Refinement of Paramodulation. [Citation Graph (0, 0)][DBLP ] CADE, 1980, pp:208-219 [Conf ] Roddy W. Erickson , David R. Musser The AFFIRM Theorem Prover: Proof Forests and Management of Large Proofs. [Citation Graph (0, 0)][DBLP ] CADE, 1980, pp:220-231 [Conf ] Ross A. Overbeek , Ewing L. Lusk Data Structures and Control Architectures for Implementation of Theorem-Proving Programs. [Citation Graph (0, 0)][DBLP ] CADE, 1980, pp:232-249 [Conf ] Helga Noll A Note on Resolution: How to Get Rid of Factoring without Loosing Completeness. [Citation Graph (0, 0)][DBLP ] CADE, 1980, pp:250-263 [Conf ] David A. Plaisted Abstraction Mappings in Mechanical Theorem Proving. [Citation Graph (0, 0)][DBLP ] CADE, 1980, pp:264-280 [Conf ] Peter B. Andrews Transforming Matings into Natural Deduction Proofs. [Citation Graph (0, 0)][DBLP ] CADE, 1980, pp:281-292 [Conf ] Maurice Bruynooghe Analysis of Dependencies to Improve the Behaviour of Logic Programs. [Citation Graph (0, 0)][DBLP ] CADE, 1980, pp:293-305 [Conf ] Luís Moniz Pereira , António Porto Selective Backtracking for Logic Programs. [Citation Graph (0, 0)][DBLP ] CADE, 1980, pp:306-317 [Conf ] Jean-Marie Hullot Canonical Forms and Unification. [Citation Graph (1, 0)][DBLP ] CADE, 1980, pp:318-334 [Conf ] Hans-Josef Jeanrond Deciding Unique Termination of Permutative Rewriting Systems: Choose Your Term Algebra Carefully. [Citation Graph (0, 0)][DBLP ] CADE, 1980, pp:335-355 [Conf ] Joseph A. Goguen How to Prove Algebraic Inductive Hypotheses Without Induction. [Citation Graph (0, 0)][DBLP ] CADE, 1980, pp:356-373 [Conf ] Philip T. Cox , Tomasz Pietrzykowski A Complete, Nonredundant Algorithm for Reversed Skolemization. [Citation Graph (0, 0)][DBLP ] CADE, 1980, pp:374-385 [Conf ]