default search action
Journal of Automated Reasoning (JAR), Volume 4
Volume 4, Number 1, March 1988
- Jaakko Hintikka:
Model Minimization - An Alternative to Circumscription. 1-13 - Alan Bundy, Leon Sterling:
Meta-Level Inference: Two Applications. 15-27 - Paul Helman, Robert Veroff:
Designing Deductive Databases. 29-68 - Franz Oppacher, E. Suen:
HARP: A Tableau-Based Theorem Prover. 69-100
- Larry Wos:
The Problem of Finding a Strategy to Control Binary Paramodulation. 101-107
Volume 4, Number 2, June 1988
- Robert S. Boyer, J Strother Moore:
The Addition of Bounded Quantification and Partial Functions to A Computational Logic and Its Theorem Prover. 117-172 - Marek Zaionc:
Mechanical Procedure for Proof Construction via Closed Terms in Typed \lambda Calculus. 173-190 - Melvin Fitting:
First-Order Modal Tableaux. 191-213
- Larry Wos:
The Problem of Explaining the Disparate Performance of Hyperresolution and Paramodulation. 215-217
- Art Quaife:
Automated Proofs of Löb's Theorem and Gödel's Two Incompleteness Theorems. 219-231
Volume 4, Number 3, September 1988
- Shang-Ching Chou:
An Introduction to Wu's Method for Mechanical Theorem Proving in Geometry. 237-267 - Sidney C. Bailin:
A lambda-Unifiability Test for Set Theory. 269-286 - David A. Plaisted:
Non-Horn Clause Logic Programming Without Contrapositives. 287-325
- Larry Wos:
The Problem of Self-Analytically Choosing the Set of Support. 327-329
- Deepak Kapur, Hantao Zhang:
Proving Equivalence of Different Axiomatizations of Free Groups. 331-352
Volume 4, Number 4, December 1988
- Mark E. Stickel:
A Prolog Technology Theorem Prover: Implementation by an Extended Prolog Compiler. 353-380 - Ursula Martin
, Tobias Nipkow
Unification in Boolean Rings. 381-396 - Kenneth A. Ross, Rodney W. Topor:
Inferring Negative Information from Disjunctive Databases. 397-424 - Klaus Heje Munch:
A New Reduction Rule for the Connection Graph Proof Procedure. 425-444 - Leonard G. Monk:
Inference Rules Using Local Contexts. 445-462
- Larry Wos:
The Problem of Self-Analytically Choosing the Weights. 463-464
- Hans-Jürgen Bürckert, Alexander Herold, Deepak Kapur, Jörg H. Siekmann, Mark E. Stickel, Michael Tepp, Hantao Zhang:
Opening the AC-Unification Race. 465-474
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-10-02 20:46 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: