Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Journal of Automated Reasoning (JAR), Volume 2

> 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 2, Number 1, 1986

- view
  authority control:
- export record
  dblp key:
  - journals/jar/ParrelloK86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/ParrelloK86
Bruce D. Parrello, Waldo C. Kabat:
Job-Shop Scheduling Using Automated Reasoning: A Case Study of the Car-Sequencing Problem. 1-42
- view
  authority control:
- export record
  dblp key:
  - journals/jar/DilgerJ86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/DilgerJ86
Werner Dilger, Agnes Janson:
Intelligent Backtracking in Deduction Systems by Means of Extended Unification Graphs. 44-62
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Paulson86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Paulson86
Lawrence C. Paulson:
Proving Termination of Normalization Functions for Conditional Experessions. 63-74
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Buttner86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Buttner86
Wolfram Büttner:
Unification in Datastructure Multisets. 75-88

Problem Corner

- view
  authority control:
- export record
  dblp key:
  - journals/jar/Stickel86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Stickel86
Mark E. Stickel:
Schubert's Steamroller Problem: Formulation and Solutions. 89-101

Volume 2, Number 2, 1986

- view
  authority control:
- export record
  dblp key:
  - journals/jar/Bundy86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Bundy86
Alan Bundy:
Correctness Criteria of Some Algorithms for Uncertain Reasoning Using Incidence Calculus. 109-126
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Kramer86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Kramer86
Thomas R. Kramer:
Automated Analysis of Operators on State Tables: A Technique for Intelligent Search. 127-153
- view
  authority control:
- export record
  dblp key:
  - journals/jar/AquilanoBBM86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/AquilanoBBM86
C. Aquilano, Roberto Barbuti, P. Bocchetti, Maurizio Martelli:
Negation as Failure. Completeness of the Query Evaluation Process for Horn Clause Programs with Recursive Definitions. 155-170
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Plaisted86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Plaisted86
David A. Plaisted:
A Decision Procedure for Combinations of Propositional Temporal Logic and Other Specialized Theories. 171-190

Problem Corner

- view
  authority control:
- export record
  dblp key:
  - journals/jar/Pelletier86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Pelletier86
Francis Jeffry Pelletier:
Seventy-Five Problems for Testing Automatic Theorem Provers. 191-216

Volume 2, Number 3, September 1986

- view
  authority control:
- export record
  dblp key:
  - journals/jar/Wen-Tsun86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Wen-Tsun86
Wu Wen-Tsün:
Basic Principles of Mechanical Theorem Proving in Elementary Geometries. 221-252
- view
  authority control:
- export record
  dblp key:
  - journals/jar/ChouS86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/ChouS86
Shang-Ching Chou, William F. Schelter:
Proving Geometry Theorems with Rewrite Rules. 253-273
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Schmidt-Schauss86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Schmidt-Schauss86
Manfred Schmidt-Schauß:
Unification under Associativity and Idempotence is of Type Nullary. 277-281
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Baader86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Baader86
Franz Baader:
The Theory of Idempotent Semigroups is of Unification Type Zero. 283-286

Problem Corner:

- view
  authority control:
- export record
  dblp key:
  - journals/jar/BoyerLMOSW86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/BoyerLMOSW86
Robert S. Boyer, Ewing L. Lusk, William McCune, Ross A. Overbeek, Mark E. Stickel, Larry Wos:
Set Theory in First-Order Logic: Clauses for Gödel's Axioms. 287-327

Volume 2, Number 4, December 1986

- view
  authority control:
- export record
  dblp key:
  - journals/jar/CoelhoP86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/CoelhoP86
Helder Coelho, Luís Moniz Pereira:
Automated Reasoning in Geometry Theorem Proving with Prolog. 329-390
- view
  authority control:
- export record
  dblp key:
  - journals/jar/YouS86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/YouS86
Jia-Huai You, P. A. Subrahmanyam:
A Class of Confluent Term Rewriting Systems and Unification. 391-418
- view
  authority control:
- export record
  dblp key:
  - journals/jar/GlickfeldO86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/GlickfeldO86
Barney Glickfeld, Ross A. Overbeek:
A Foray Into Combinatory Logic. 419-431

a service of

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.