default search action

combined dblp search
author search
venue search
publication search

ask others

Journal of Automated Reasoning (JAR), Volume 12

> 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 12, Number 1, 1994

- view
  authority control:
- export record
  dblp key:
  - journals/jar/Lozinskii94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Lozinskii94
Eliezer L. Lozinskii:
Resolving Contradictions: A Plausible Semantics for Inconsistent Systems. 1-32
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Moore94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Moore94
J Strother Moore:
Introduction to the OBDD Algorithm for the ATP Community. 33-46
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Mellouli94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Mellouli94
Taïeb Mellouli:
TMPR: A Tree-Structured Modified Problem Reduction Proof Procedure and Its Extension to Three - Valued Logic. 47-88
- view
  authority control:
- export record
  dblp key:
  - journals/jar/BenhamouS94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/BenhamouS94
Belaid Benhamou, Lakhdar Sais:
Tractability Through Symmetries in Propositional Calculus. 89-102
- view
  authority control:
- export record
  dblp key:
  - journals/jar/AitkenRS94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/AitkenRS94
J. Stuart Aitken, Han Reichgelt, Nigel Shadbolt:
Resolution Theorem Proving in Reified Modal Logics. 103-130

Volume 12, Number 2, 1994

- view
  authority control:
- export record
  dblp key:
  - journals/jar/ButlerO94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/ButlerO94
Ralph Butler, Ross A. Overbeek:
Formula Databases for High-Performance Resolution/Paramodulation Systems. 139-156
- view
  authority control:
- export record
  dblp key:
  - journals/jar/ChouW94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/ChouW94
Seng-cho Timothy Chou, Marianne Winslett:
A Model-Based Belief Revision System. 157-208
- view
  authority control:
- export record
  dblp key:
  - journals/jar/BurkeH94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/BurkeH94
Edmund K. Burke:
Unification in partially commutative semigroups. 209-223
- view
  authority control:
- export record
  dblp key:
  - journals/jar/BonacinaH94a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/BonacinaH94a
Maria Paola Bonacina, Jieh Hsiang:
On subsumption in distributed derivations. 225-240
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Digricoli94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Digricoli94
Vincent J. Digricoli:
The Rue Theorem-Proving System: The Complete Set if LIM+ Challenge Problems. 241-264
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Wos94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Wos94
Larry Wos:
The problem of hyperparamodulation. 265-271

Volume 12, Number 3, 1994

- view
  authority control:
- export record
  dblp key:
  - journals/jar/Tammet94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Tammet94
Tanel Tammet:
Proof Sytrategies in Linear Logic. 273-304
- view
  authority control:
- export record
  dblp key:
  - journals/jar/RaschidL94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/RaschidL94
Louiqa Raschid, Jorge Lobo:
A Semantics for a Class of Non-Deterministic and Causal Production System Programs. 305-349
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Ferro94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Ferro94
Giuseppa Carrà Ferro:
An Extension of a Procedure to Prove Statements in Differential Geometry. 351-358
- view
  authority control:
- export record
  dblp key:
  - journals/jar/LeeW94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/LeeW94
Shie-Jue Lee, Chih-Hung Wu:
Improving the Efficiency of a Hyperlinking-Based Theorem Prover by Incremental Evaluation with Network Structures. 359-388
- view
  authority control:
- export record
  dblp key:
  - journals/jar/QianN94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/QianN94
Zhenyu Qian, Tobias Nipkow:
Reduction and Unification in Lambda Calculi with a General Notion of Subtype. 389-406

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.