![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Journal of Automated Reasoning (JAR), Volume 27
Volume 27, Number 1, July 2001
- David A. Basin, Amy P. Felty:
Current Trends in Logical Frameworks and Metalanguages. 1-2 - Paul Callaghan, Zhaohui Luo:
An Implementation of LF with Coercive Subtyping & Universes. 3-27 - Mirna Bognar, Roel C. de Vrijer:
A Calculus of Lambda Calculus Contexts. 29-59 - Paula Severi, Nora Szasz
:
Studies of a Theory of Specifications with Built-in Program Extraction. 61-87
Volume 27, Number 2, August 2001
- Larry Wos:
A Milestone Reached and a Secret Revealed. 89-95 - Dolph Ulrich:
A Legacy Recalled and a Tradition Continued. 97-122 - Robert Veroff:
Finding Shortest Proofs: An Application of Linked Inference Rules. 123-139 - Kenneth Harris, Branden Fitelson:
Distributivity in [Lstrok][aleph]0 and Other Sentential Logics. 141-156 - Robert Veroff:
Solving Open Questions and Other Challenge Problems Using Proof Sketches. 157-174 - Larry Wos:
Conquering the Meredith Single Axiom. 175-199 - Branden Fitelson, Larry Wos:
Missing Proofs Found. 201-225
Volume 27, Number 3, October 2001
- Geoff Sutcliffe
:
The CADE-17 ATP System Competition. 227-250 - Michael L. Littman, Stephen M. Majercik, Toniann Pitassi:
Stochastic Boolean Satisfiability. 251-296 - Guido Fiorino:
An O(nlog n)-SPACE Decision Procedure for the Propositional Dummett Logic. 297-311 - Lifeng He:
I-SATCHMO: An Improvement of SATCHMO. 313-322
Volume 27, Number 4, November 2001
- Ruben Gamboa, Matt Kaufmann:
Nonstandard Analysis in ACL2. 323-351 - Guilherme Bittencourt, Isabel Tonin:
An Algorithm for Dual Transformation in First-Order Logic. 353-389 - Piero A. Bonatti
:
Resolution for Skeptical Stable Model Semantics. 391-421
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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.