Conferences in DBLP
Robert S. Boyer , J. Strother Moore A Theorem Prover for a Computational Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Xumin Nie , David A. Plaisted A Complete Semantic Back Chaining Proof System. [Citation Graph (0, 0)][DBLP ] Conf ] John K. Slaney , Ewing L. Lusk Parallelizing the Closure Computation in Automated Deduction. [Citation Graph (0, 0)][DBLP ] Conf ] Johann Schumann , Reinhold Letz PARTHEO: A High-Performance Parallel Theorem Prover. [Citation Graph (0, 0)][DBLP ] Conf ] Sang Ho Lee , Lawrence J. Henschen Substitution-based Compilation of Extended Rules in Deductive Databases. [Citation Graph (2, 0)][DBLP ] Conf ] Newton C. A. da Costa , Lawrence J. Henschen , James J. Lu , V. S. Subrahmanian Automatic Theorem Proving in Paraconsistent Logics: Theory and Implementation. [Citation Graph (1, 0)][DBLP ] Conf ] Toshiro Wakayama , T. H. Payne Case-Free Programs: An Abstraction of Definite Horn Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Chitta Baral , Jorge Lobo , Jack Minker Generalized Well-founded Semantics for Logic Programs (Extended Abstract). [Citation Graph (3, 0)][DBLP ] Conf ] Maritta Heisel , Wolfgang Reif , Werner Stephan Tactical Theorem Proving in Program Verification. [Citation Graph (0, 0)][DBLP ] Conf ] Alan Bundy , Frank van Harmelen , Alan Smaill , Andrew Ireland Extensions to the Rippling-Out Tactic for Guiding Inductive Proofs. [Citation Graph (0, 0)][DBLP ] Conf ] Dieter Hutter Guiding Induction Proofs. [Citation Graph (0, 0)][DBLP ] Conf ] Uday S. Reddy Term Rewriting Induction. [Citation Graph (0, 0)][DBLP ] Conf ] Hans-Jürgen Bürckert A Resolution Principle for Clauses with Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Larry M. Hines Str+ve-Subset: The Str+ve-based Subset Prover. [Citation Graph (0, 0)][DBLP ] Conf ] Shang-Ching Chou , Xiao-Shan Gao Ritt-Wu's Decomposition Algorithm and Geometry Theorem Proving. [Citation Graph (0, 0)][DBLP ] Conf ] Amy P. Felty , Dale Miller Encoding a Dependent-Type Lambda-Calculus in a Logic Programming Language. [Citation Graph (0, 0)][DBLP ] Conf ] David J. Pym , Lincoln A. Wallen Investigations into Proof-Search in a System of First-Order Dependent Function Types. [Citation Graph (0, 0)][DBLP ] Conf ] David A. Basin Equality of Terms Containing Associative-Commutative Functions and Commutative Binding Operators in Isomorphism Complete. [Citation Graph (0, 0)][DBLP ] Conf ] Daniel J. Dougherty , Patricia Johann An Improved General E-Unification Method. [Citation Graph (0, 0)][DBLP ] Conf ] Paliath Narendran , Friedrich Otto Some Results on Equational Unification. [Citation Graph (0, 0)][DBLP ] Conf ] Alexandre Boudet Unification in a Combination of Equational Theories: an Efficient Algorithm. [Citation Graph (0, 0)][DBLP ] Conf ] Alan F. McMichael SLIM: An Automated Reasoner For Equivalences, Applied To Set Theory. [Citation Graph (0, 0)][DBLP ] Conf ] Mark Tarver An Examination of the Prolog Technology Theorem-Prover. [Citation Graph (0, 0)][DBLP ] Conf ] Frank Pfenning , Dan Nesmith Presenting Intuitive Deductions via Symmetric Simplification. [Citation Graph (0, 0)][DBLP ] Conf ] William Pierce Toward Mechanical Methods for Streamlining Proofs. [Citation Graph (0, 0)][DBLP ] Conf ] Ursula Martin , Tobias Nipkow Ordered Rewriting and Confluence. [Citation Graph (0, 0)][DBLP ] Conf ] Gerald E. Peterson Complete Sets of Reductions with Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Franz Baader Rewrite Systems for Varieties of Semigroups. [Citation Graph (0, 0)][DBLP ] Conf ] Joachim Steinbach Improving Assoviative Path Orderings. [Citation Graph (0, 0)][DBLP ] Conf ] Wolfgang Bibel Perspectives on Automated Deduction (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Leo Bachmair , Harald Ganzinger On Restrictions of Ordered Paramodulation with Simplification. [Citation Graph (0, 0)][DBLP ] Conf ] Dan Benanav Simultaneous Paramodulation. [Citation Graph (0, 0)][DBLP ] Conf ] Yusuf Ozturk , Lawrence J. Henschen Hyper Resolution and Equality Axioms without Function Substitutions. [Citation Graph (0, 0)][DBLP ] Conf ] Christian B. Suttner , Wolfgang Ertel Automatic Acquisition of Search Guiding Heuristics. [Citation Graph (0, 0)][DBLP ] Conf ] Larry Wos , S. Winker , William McCune , Ross A. Overbeek , Ewing L. Lusk , Rick L. Stevens , Ralph Butler Automated Reasoning Contributed to Mathematics and Logic. [Citation Graph (0, 0)][DBLP ] Conf ] James A. Altucher , Prakash Panangaden A Mechanically Assisted Constructive Proof in Category Theory. [Citation Graph (0, 0)][DBLP ] Conf ] Heikki Tuominen Dynamic Logic as a Uniform Framework for Theorem Proving in Intensional Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Camilla Schwind A Tableau-Based Theorem Prover for a Decidable Subset of Default Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Jackson , John Pais Computing Prime Implicants. [Citation Graph (0, 0)][DBLP ] Conf ] Thierry Boy de la Tour Minimizing the Number of Clauses by Renaming. [Citation Graph (0, 0)][DBLP ] Conf ] Wayne Snyder Higher Order E-Unification. [Citation Graph (0, 0)][DBLP ] Conf ] Masami Hagiya Programming by Example and Proving by Example Using Higher-order Unification. [Citation Graph (0, 0)][DBLP ] Conf ] Mikael Rittri Retrieving Library Identifiers via Equational Matching of Types. [Citation Graph (0, 0)][DBLP ] Conf ] Werner Nutt Unification in Monoidal Theories. [Citation Graph (0, 0)][DBLP ] Conf ] Alan Bundy A Science of Reasoning: Extended Abstract. [Citation Graph (0, 0)][DBLP ] Conf ] Peter B. Andrews , Sunil Issar , Dan Nesmith , Frank Pfenning The TPS Theorem Proving System. [Citation Graph (0, 0)][DBLP ] Conf ] Frank M. Brown , Carlos Araya Schemata. [Citation Graph (0, 0)][DBLP ] Conf ] Frank M. Brown , Carlos Araya Cylindric Algebra Equation Solver. [Citation Graph (0, 0)][DBLP ] Conf ] Alan Bundy , Frank van Harmelen , Christian Horn , Alan Smaill The Oyster-Clam System. [Citation Graph (0, 0)][DBLP ] Conf ] Ralph Butler , Ian T. Foster , Anita Jindal , Ross A. Overbeek A High-Performance Parallel Theorem Prover. [Citation Graph (0, 0)][DBLP ] Conf ] Carl Eichenlaub , Bruce Esrig , James Hook , Carl Klapper , Garrel Pottinger The Romulus Proof Checker. [Citation Graph (0, 0)][DBLP ] Conf ] William M. Farmer , Joshua D. Guttman , F. Javier Thayer IMPS: An Interactive Mathematical Proof System. [Citation Graph (0, 0)][DBLP ] Conf ] Bernhard Gramlich UNICOM: A Refined Completion Based Inductive Theorem Prover. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Käufl , Nicolas Zabel The Theorem Prover of the Program Verifier Tatzelwurm. [Citation Graph (0, 0)][DBLP ] Conf ] Matt Kaufmann RCL: A Lisp Verification System. [Citation Graph (0, 0)][DBLP ] Conf ] Pierre Lescanne ORME: An Implementation of Completion Procedures as Sets of Transition Rules. [Citation Graph (0, 0)][DBLP ] Conf ] William McCune OTTER 2.0. [Citation Graph (0, 0)][DBLP ] Conf ] Neil V. Murray , Erik Rosenthal DISSOLVER: A Dissolution-based Theorem Prover. [Citation Graph (0, 0)][DBLP ] Conf ] Robert Nieuwenhuis , Fernando Orejas , Albert Rubio TRIP: An Implementation of Clausal Rewriting. [Citation Graph (0, 0)][DBLP ] Conf ] John L. Pollock OSCAR. [Citation Graph (0, 0)][DBLP ] Conf ] Ronald W. Satz EXPERT THINKER: An Adaptation of F-Prolog to Microcomputers. [Citation Graph (0, 0)][DBLP ] Conf ] Mark E. Stickel A Prolog Technology Theorem Prover. [Citation Graph (0, 0)][DBLP ] Conf ] Geoff Sutcliffe A General Clause Theorem Prover. [Citation Graph (0, 0)][DBLP ] Conf ] Andrei Voronkov LISS - The Logic Inference Search System. [Citation Graph (0, 0)][DBLP ] Conf ] David A. Wolfram ACE: The Abstract Clause Engine. [Citation Graph (0, 0)][DBLP ] Conf ] Ewing L. Lusk , William McCune Tutorial on High-Performance Automated Theorem Proving. [Citation Graph (0, 0)][DBLP ] Conf ] Jürgen Müller , Franz Baader , Bernhard Nebel , Werner Nutt , Gert Smolka Tutorial on Reasoning and Representation with Concept Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Claude Kirchner Tutorial on Equational Unification. [Citation Graph (0, 0)][DBLP ] Conf ] Amy P. Felty , Elsa L. Gunter , Dale Miller , Frank Pfenning Tutorial on Lambda-Prolog. [Citation Graph (0, 0)][DBLP ] Conf ] Hans Jürgen Ohlbach , Andreas Herzig Tutorial on Compilation techniques for Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Johann Schumann , Reinhold Letz , Franz J. Kurfess Tutorial on High-Performance Theorem Provers: Efficient Implementation and Parallelisation. [Citation Graph (0, 0)][DBLP ] Conf ] Jieh Hsiang , Jean-Pierre Jouannaud Tutorial on Rewrite-Based Theorem Proving. [Citation Graph (0, 0)][DBLP ] Conf ] Richard J. Waldinger Tutorial on Program-Synthetic Deduction. [Citation Graph (0, 0)][DBLP ] Conf ] Paul Pritchard , John K. Slaney Tutorial on Computing Models of Propositional Logics. [Citation Graph (0, 0)][DBLP ] Conf ] 