Conferences in DBLP
Jörg H. Siekmann Universal Unification. [Citation Graph (1, 0)][DBLP ] Conf ] Ewing L. Lusk , Ross A. Overbeek A Portable Environment for Research in Automated Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Deepak Kapur , Balakrishnan Krishnamurthy A Natural Proof System Based on rewriting Techniques. [Citation Graph (0, 0)][DBLP ] Conf ] Jussi Ketonen EKL - A Mathematically Oriented Proof Checker. [Citation Graph (0, 0)][DBLP ] Conf ] Silvio Ursic A Linear Characterization of NP-Complete Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Allen Van Gelder A Satisfiability Tester for Non-Clausal Propositional Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Ana R. Cavalli , Luis Fariñas del Cerro A Decision Method for Linear Temporal Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Dallas Lankford , Gregory Butler II , A. Michael Ballantyne A Progress Report on New Decision Algorithms for Finitely Prsented Abelian Groups. [Citation Graph (0, 0)][DBLP ] Conf ] Philippe le Chenadec Canonical Forms in Finitely Presented Algebras. [Citation Graph (0, 0)][DBLP ] Conf ] Pierre Lescanne Term Rewriting Systems and Algebra. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Pierre Jouannaud , Miguel Munoz Termination of a Set of Rules Modulo a Set of Equations. [Citation Graph (0, 0)][DBLP ] Conf ] François Fages Associative-Commutative Unification. [Citation Graph (1, 0)][DBLP ] Conf ] Donald Simon A Linear Time Algorithm for a Subcase of Second Order Instantiation. [Citation Graph (0, 0)][DBLP ] Conf ] Claude Kirchner A New Equational Unification Method: A Generalization of Martelli-Montanari's Algorithm. [Citation Graph (0, 0)][DBLP ] Conf ] Mark E. Stickel A Case Study of Theorem Proving by the Knuth-Bendix Method: Discovering That x³=x Implies Ring Commutativity. [Citation Graph (0, 0)][DBLP ] Conf ] Laurent Fribourg A Narrowing Procedure for Theories with Constructors. [Citation Graph (0, 0)][DBLP ] Conf ] Hélène Kirchner A General Inductive Completion Algorithm and Application to Abstract Data Types. [Citation Graph (0, 0)][DBLP ] Conf ] Patrick Suppes The Next Generation of Interactive Theorem Provers. [Citation Graph (0, 0)][DBLP ] Conf ] Larry Wos , Robert Veroff , B. Smith , William McCune The Linked Inference Principle, II: The User's Viewpoint. [Citation Graph (0, 0)][DBLP ] Conf ] Etienne Paul A New Interpretation of the Resolution Principle. [Citation Graph (0, 0)][DBLP ] Conf ] David A. Plaisted Using Examples, Case Analysis, and Dependency Graphs in Theorem Proving. [Citation Graph (0, 0)][DBLP ] Conf ] Dale Miller Expansion Tree Proofs and Their Conversion to Natural Deduction Proofs. [Citation Graph (0, 0)][DBLP ] Conf ] Frank Pfenning Analytic and Non-analytic Proofs. [Citation Graph (0, 0)][DBLP ] Conf ] Jack Minker , Donald Perlis Applications of Protected Circumscription. [Citation Graph (4, 0)][DBLP ] Conf ] Kenneth Forsythe , Stan Matwin Implementation Strategies for Plan-Based Deduction. [Citation Graph (0, 0)][DBLP ] Conf ] David A. Schmidt A Programming Notation for Tactical Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Ketan Mulmuley The Mechanization of Existence Proofs of Recursive Predicates. [Citation Graph (0, 0)][DBLP ] Conf ] Alex Pelin , Jean H. Gallier Solving Word Problems in Free Algebras Using Complexity Functions. [Citation Graph (0, 0)][DBLP ] Conf ] Hans Jürgen Ohlbach , Graham Wrightson Solving a Problem in Relevance Logic with an Automated Theorem Prover. [Citation Graph (0, 0)][DBLP ] Conf ] 