default search action

combined dblp search
author search
venue search
publication search

ask others

Journal of Automated Reasoning (JAR), Volume 13

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

- view
  authority control:
- export record
  dblp key:
  - journals/jar/BonacinaH94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/BonacinaH94
Maria Paola Bonacina, Jieh Hsiang:
Parallelization of Deduction Strategies: An Analytical Study. 1-33
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Bonatti94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Bonatti94
Piero A. Bonatti:
Autoepistemic Logic Programming. 35-67
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Yuan94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Yuan94
Li-Yan Yuan:
Autoepistemic Logic of First Order and Its Expressive Power. 69-82
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Johnson94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Johnson94
C. A. Johnson:
On the Termination of Clause Graph Resolution. 83-115
- view
  authority control:
- export record
  dblp key:
  - journals/jar/YahyaFM94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/YahyaFM94
Adnan H. Yahya, José Alberto Fernández, Jack Minker:
Ordered Model Trees: A Normal Form for Disjunctive Deductive Databases. 117-143
- view
  authority control:
- export record
  dblp key:
  - journals/jar/SakamaI94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/SakamaI94
Chiaki Sakama, Katsumi Inoue:
An Alternative Approach to the Semantics of Disjunctive Logic Programs and Deductive Databases. 145-172

Volume 13, Number 2, 1994

- view
  authority control:
- export record
  dblp key:
  - journals/jar/Fitting94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Fitting94
Melvin Fitting:
Tableaux for Logic Programming. 175-188
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Stickel94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Stickel94
Mark E. Stickel:
Upside-Down Meta-Interpretation of the Model Elimination Theorem-Proving Procedure for Deduction and Abduction. 189-210
- view
  authority control:
- export record
  dblp key:
  - journals/jar/HahnleS94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/HahnleS94
Reiner Hähnle, Peter H. Schmitt:
The Liberalized delta-Rule in Free Variable Semantic Tableaux. 211-221
- view
  authority control:
- export record
  dblp key:
  - journals/jar/RischS94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/RischS94
Vincent Risch, Camilla Schwind:
Tableaux-Based Characterization and Theorem Proving for default Logic. 223-242
- view
  authority control:
- export record
  dblp key:
  - journals/jar/DAgostinoG94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/DAgostinoG94
Marcello D'Agostino, Dov M. Gabbay:
A Generalization of Analytic Deduction via Labelled Deductive Systems. Part I: Basic Substructural Logics. 243-281

Volume 13, Number 3, 1994

- view
  authority control:
- export record
  dblp key:
  - journals/jar/Astrachan94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Astrachan94
Owen L. Astrachan:
Meteor: Exploring Model Elimination Theorem Proving. 283-296
- view
  authority control:
- export record
  dblp key:
  - journals/jar/LetzMG94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/LetzMG94
Reinhold Letz, Klaus Mayr, Christoph Goller:
Cotrolled Integration of the Cut Rule into Connection Tableaux Calculi. 297-337
- view
  authority control:
- export record
  dblp key:
  - journals/jar/BaumgartnerF94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/BaumgartnerF94
Peter Baumgartner, Ulrich Furbach:
Model Elimination Without Contrapositives and Its Application to PTTP. 339-359
- view
  authority control:
- export record
  dblp key:
  - journals/jar/MiglioliMO94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/MiglioliMO94
Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi:
An Improved Refutation System for Intuitionistic Predicate Logic. 361-373
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Lorenz94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Lorenz94
Sven Lorenz:
A Tableaux Prover for Domain Minimization. 375-390
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Pliuskevicius94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Pliuskevicius94
Regimantas Pliuskevicius:
The Saturated Tableaux for Linear Miniscoped Horn-like Temporal Logic. 391-407
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Schumann94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Schumann94
Johann Schumann:
Tableaux-based Theorem Provers: Systems and Implementations. 409-421

Acknowledgement: The information on this page was provided by Camilla Schwind.

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.