default search action

combined dblp search
author search
venue search
publication search

ask others

Journal of Automated Reasoning (JAR), Volume 27

> 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 27, Number 1, July 2001

- view
  authority control:
- export record
  dblp key:
  - journals/jar/BasinF01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/BasinF01
David A. Basin, Amy P. Felty:
Current Trends in Logical Frameworks and Metalanguages. 1-2
- view
  authority control:
- export record
  dblp key:
  - journals/jar/CallaghanL01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/CallaghanL01
Paul Callaghan, Zhaohui Luo:
An Implementation of LF with Coercive Subtyping & Universes. 3-27
- view
  authority control:
- export record
  dblp key:
  - journals/jar/BognarV01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/BognarV01
Mirna Bognar, Roel C. de Vrijer:
A Calculus of Lambda Calculus Contexts. 29-59
- view
  authority control:
- export record
  dblp key:
  - journals/jar/SeveriS01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/SeveriS01
Paula Severi, Nora Szasz:
Studies of a Theory of Specifications with Built-in Program Extraction. 61-87

Volume 27, Number 2, August 2001

- view
  authority control:
- export record
  dblp key:
  - journals/jar/Wos01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Wos01
Larry Wos:
A Milestone Reached and a Secret Revealed. 89-95
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Ulrich01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Ulrich01
Dolph Ulrich:
A Legacy Recalled and a Tradition Continued. 97-122
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Veroff01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Veroff01
Robert Veroff:
Finding Shortest Proofs: An Application of Linked Inference Rules. 123-139
- view
  authority control:
- export record
  dblp key:
  - journals/jar/HarrisF01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/HarrisF01
Kenneth Harris, Branden Fitelson:
Distributivity in [Lstrok][aleph]0 and Other Sentential Logics. 141-156
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Veroff01a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Veroff01a
Robert Veroff:
Solving Open Questions and Other Challenge Problems Using Proof Sketches. 157-174
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Wos01a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Wos01a
Larry Wos:
Conquering the Meredith Single Axiom. 175-199
- view
  authority control:
- export record
  dblp key:
  - journals/jar/FitelsonW01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/FitelsonW01
Branden Fitelson, Larry Wos:
Missing Proofs Found. 201-225

Volume 27, Number 3, October 2001

- view
  authority control:
- export record
  dblp key:
  - journals/jar/Sutcliffe01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Sutcliffe01
Geoff Sutcliffe:
The CADE-17 ATP System Competition. 227-250
- view
  authority control:
- export record
  dblp key:
  - journals/jar/LittmanMP01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/LittmanMP01
Michael L. Littman, Stephen M. Majercik, Toniann Pitassi:
Stochastic Boolean Satisfiability. 251-296
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Fiorino01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Fiorino01
Guido Fiorino:
An O(nlog n)-SPACE Decision Procedure for the Propositional Dummett Logic. 297-311
- view
  authority control:
- export record
  dblp key:
  - journals/jar/He01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/He01
Lifeng He:
I-SATCHMO: An Improvement of SATCHMO. 313-322

Volume 27, Number 4, November 2001

- view
  authority control:
- export record
  dblp key:
  - journals/jar/GamboaK01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/GamboaK01
Ruben Gamboa, Matt Kaufmann:
Nonstandard Analysis in ACL2. 323-351
- view
  authority control:
- export record
  dblp key:
  - journals/jar/BittencourtT01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/BittencourtT01
Guilherme Bittencourt, Isabel Tonin:
An Algorithm for Dual Transformation in First-Order Logic. 353-389
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Bonatti01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Bonatti01
Piero A. Bonatti:
Resolution for Skeptical Stable Model Semantics. 391-421

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.