default search action

combined dblp search
author search
venue search
publication search

ask others

Journal of Automated Reasoning (JAR), Volume 26

> 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 26, Number 1, January 2001

- view
  authority control:
- export record
  dblp key:
  - journals/jar/Giesl01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Giesl01
Jürgen Giesl:
Induction Proofs with Partial Functions. 1-49
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Nipkow01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Nipkow01
Tobias Nipkow:
More Church-Rosser Proofs. 51-66
- view
  authority control:
- export record
  dblp key:
  - journals/jar/WuL01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/WuL01
Chih-Hung Wu, Shie-Jue Lee:
Parallelization of a Hyper-Linking-Based Theorem Prover. 67-106

Volume 26, Number 2, February 2001

- view
  authority control:
- export record
  dblp key:
  - journals/jar/Thery01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Thery01
Laurent Théry:
A Machine-Checked Implementation of Buchberger's Algorithm. 107-137
- view
  authority control:
- export record
  dblp key:
  - journals/jar/GehrkeP01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/GehrkeP01
Wolfgang Gehrke, Jochen Pfalzgraf:
Computer-Aided Construction of Finite Geometric Spaces: Automated Verification of Geometric Constraints. 139-160
- view
  authority control:
- export record
  dblp key:
  - journals/jar/KaufmannJM01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/KaufmannJM01
Matt Kaufmann, J Strother Moore:
Structured Theory Development for a Mechanized Logic. 161-203
- view
  authority control:
- export record
  dblp key:
  - journals/jar/BergerSS01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/BergerSS01
Ulrich Berger, Helmut Schwichtenberg, Monika Seisenberger:
The Warshall Algorithm and Dickson's Lemma: Two Examples of Realistic Program Extraction. 205-221

Volume 26, Number 3, April 2001

- view
  authority control:
- export record
  dblp key:
  - journals/jar/AvenhausP01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/AvenhausP01
Jürgen Avenhaus, David A. Plaisted:
General Algorithms for Permutations in Equational Inference. 223-268
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Farmer01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Farmer01
William M. Farmer:
STMM: A Set Theory for Mechanized Mathematics. 269-289
- view
  authority control:
- export record
  dblp key:
  - journals/jar/GiunchigliaPT01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/GiunchigliaPT01
Fausto Giunchiglia, Paolo Pecchiari, Carolyn L. Talcott:
Reasoning Theories. 291-331

Volume 26, Number 4, May 2001

- view
  authority control:
- export record
  dblp key:
  - journals/jar/Johnson01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Johnson01
C. A. Johnson:
On the Computation of the Disjunctive Well-Founded Semantics. 333-356
- view
  authority control:
- export record
  dblp key:
  - journals/jar/HolmesA01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/HolmesA01
M. Randall Holmes, Jim Alves-Foss:
The Watson Theorem Prover. 357-408
- view
  authority control:
- export record
  dblp key:
  - journals/jar/McNaughton01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/McNaughton01
Robert McNaughton:
Semi-Thue Systems with an Inhibitor. 409-431

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.