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 22

> 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 22, Number 1, January 1999

- view
  authority control:
- export record
  dblp key:
  - journals/jar/WosP99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/WosP99
Larry Wos, Gail W. Pieper:
The Hot List Strategy. 1-44
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Stolzenburg99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Stolzenburg99
Frieder Stolzenburg:
An Algorithm for General Set Unification and Its Complexity. 45-63
- view
  authority control:
- export record
  dblp key:
  - journals/jar/MaddenBS99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/MaddenBS99
Peter Madden, Alan Bundy, Alan Smaill:
Recursive Program Optimization Through Inductive Synthesis Proof Transformation. 65-115

Volume 22, Number 2, February 1999

- view
  authority control:
- export record
  dblp key:
  - journals/jar/MelisW99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/MelisW99
Erica Melis, Jon Whittle:
Analogy in Inductive Theorem Proving. 117-147
- view
  authority control:
- export record
  dblp key:
  - journals/jar/ShinyP99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/ShinyP99
A. K. Shiny, Arun K. Pujari:
An Efficient Algorithm to Generate Prime Implicants. 149-170
- view
  authority control:
- export record
  dblp key:
  - journals/jar/AitkenCU99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/AitkenCU99
William E. Aitken, Robert L. Constable, Judith L. Underwood:
Metalogical Frameworks II: Developing a Reflected Decision Procedure. 171-221

Volume 22, Number 3, March 1999

- view
  authority control:
- export record
  dblp key:
  - journals/jar/Lukaszewicz99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Lukaszewicz99
Leon Lukaszewicz:
Triple Dots in a Formal Language. 223-239
- view
  authority control:
- export record
  dblp key:
  - journals/jar/PesantB99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/PesantB99
Gilles Pesant, Michel Boyer:
Reasoning about Solids Using Constraint Logic Programming. 241-262
- view
  authority control:
- export record
  dblp key:
  - journals/jar/ArieliA99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/ArieliA99
Ofer Arieli, Arnon Avron:
A Model-Theoretic Approach for Recovering Consistent Data from Inconsistent Knowledge Bases. 263-309
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Belinfante99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Belinfante99
Johan G. F. Belinfante:
Computer Proofs in Gödel's Class Theory with Equational Definitions for Composite and Cross. 311-339
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Belinfante99a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Belinfante99a
Johan G. F. Belinfante:
On Computer-Assisted Proofs in Ordinal Number Theory. 341-378

Volume 22, Number 4, May 1999

- view
  authority control:
- export record
  dblp key:
  - journals/jar/Schmidt99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Schmidt99
Renate A. Schmidt:
Decidability by Resolution for Propositional Modal Logics. 379-396
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Suttner99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Suttner99
Christian B. Suttner:
SPS-Parallelism + SETHEO = SPTHEO. 397-431
- view
  authority control:
- export record
  dblp key:
  - journals/jar/FormisanoP99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/FormisanoP99
Andrea Formisano, Alberto Policriti:
T-Resolution: Refinements and Model Elimination. 433-483

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.