default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Automated Reasoning (JAR), Volume 11
Volume 11, Number 1, August 1993
- Adrian Walker:
Backchain Iteration: Towards a Practical Inference Method That Is Simple Enough to Be Proved Terminating, Sound, and Complete. 1-22 - Fausto Giunchiglia
, Toby Walsh:
The Inevitability of Inconsistent Abstract Spaces. 23-41 - Amy P. Felty:
Implementing Tactics and Tacticals in a Higher-Order Logic Programming Language. 41-81 - Alberto M. Segre, Daniel Scharstein:
Bounded-Overhead Caching for Definite-Clause Theorem Proving. 83-113 - Gopalan Nadathur:
A Proof Procedure for the Logic of Hereditary Harrop Formulas. 115-145
- Larry Wos:
The Problem of Naming and Function Replacement. 147-148
Volume 11, Number 2, October 1993
- Klaus U. Schulz:
Wort Unification and Transformation of Generalized Equations. 149-184 - Alexandre Boudet:
Competing for the AC-Unification Race. 185-212 - William M. Farmer, Joshua D. Guttman, F. Javier Thayer:
IMPS: An Interactive Mathematical Proof System. 213-248 - John Grant, John F. Horty, Jorge Lobo, Jack Minker:
View Updates in Stratified Disjunctive Databases. 249-267 - Jinchang Wang:
Inference Flexibility in Horn Clause Knowledge Bases and the Simplex Method. 269-288
- Larry Wos:
The Problem of Reasoning by Case Analysis. 289-291
Volume 11, Number 3, December 1993
- W. W. Bledsoe, Guohui Feng:
Set-Var. 293-314 - Ross A. Overbeek:
The CADE-11 Competitions: A Personal View. 315-316 - Ewing L. Lusk, William McCune:
Uniform Strategies: The CADE-11 Theorem Proving Contest. 317-331 - Hantao Zhang:
Automated Proofs of Equality Problems in Overbeek's Competition. 333-351 - Lawrence C. Paulson:
Set Theory for Verification: I. From Foundations to Functions. 353-389 - Sidney C. Bailin, Dave Barker-Plummer:
Z-Match: An Inference Rule for Incrementally Elaborating Set Instantiations. 391-428
- Larry Wos:
The Problem of Induction. 433-434
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 2026-06-03 02:07 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:
