default search action

combined dblp search
author search
venue search
publication search

ask others

Journal of Automated Reasoning (JAR), Volume 19

> Home > Journals > Journal of Automated Reasoning (JAR)

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 19, Number 1, August 1997

- view
  authority control:
- export record
  dblp key:
  - journals/jar/Giesl97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Giesl97
Jürgen Giesl:
Termination of Nested and Mutually Recursive Algorithms. 1-29
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Johnson97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Johnson97
C. A. Johnson:
Deduction Trees and the View Update Problem in Indefinite Deductive Databases. 31-85
- view
  authority control:
- export record
  dblp key:
  - journals/jar/NarendranO97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/NarendranO97
Paliath Narendran, Friedrich Otto:
Single Versus Simultaneous Equational Unification and Equational Unification for Variable-Permuting Theories. 87-115
- view
  authority control:
- export record
  dblp key:
  - journals/jar/AstrachanL97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/AstrachanL97
Owen L. Astrachan, Donald W. Loveland:
The Use of Lemmas in the Model Elimination Procedure. 117-141

Volume 19, Number 2, October 1997

- view
  authority control:
- export record
  dblp key:
  - journals/jar/CorsiniR97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/CorsiniR97
Marc-Michel Corsini, Antoine Rauzy:
Toupie: The µ-calculus over Finite Domains as a Constraint Language. 143-171
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Horwein97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Horwein97
Karin Hörwein:
Structuring Resolution Proofs by Introducing New Lemmata. 173-203
- view
  authority control:
- export record
  dblp key:
  - journals/jar/BaumgartnerB97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/BaumgartnerB97
Peter Baumgartner, Stefan Brüning:
A Disjunctive Positive Refinement of Model Elimination and its Application to Subsumption Deletion. 205-262

Volume 19, Number 3, December 1997

- view
  authority control:
- export record
  dblp key:
  - journals/jar/McCune97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/McCune97
William McCune:
Solution of the Robbins Problem. 263-276
- view
  authority control:
- export record
  dblp key:
  - journals/jar/CaferraP97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/CaferraP97
Ricardo Caferra, Nicolas Peltier:
A New Technique for Verifying and Correcting Logic Programs. 277-318
- view
  authority control:
- export record
  dblp key:
  - journals/jar/BundyGVW97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/BundyGVW97
Alan Bundy, Fausto Giunchiglia, Adolfo Villafiorita, Toby Walsh:
Abstract Proof Checking: An Example Motivated by an Incompleteness Theorem. 319-346
- view
  authority control:
- export record
  dblp key:
  - journals/jar/SturgillS97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/SturgillS97
David B. Sturgill, Alberto Maria Segre:
Nagging: A Distributed, Adversarial Search-Pruning Technique Applied to First-Order Inference. 347-376

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.