![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Journal of Automated Reasoning (JAR), Volume 44
Volume 44, Numbers 1-2, February 2010
- Jacques Carette
, Makarius Wenzel, Freek Wiedijk:
Preface. 1-2 - Predrag Janicic
:
Geometry Constructions Language. 3-24 - Claudio Sacerdoti Coen
:
Declarative Representation of Proof Terms. 25-52 - Ferruccio Guidi
:
Procedural Representation of CIC Proof Terms. 53-78 - Dominik Dietrich, Ewaryst Schulz:
Crystal: Integrating Structured Queries into a Tactic Language. 79-110 - Sascha Böhme, Michal Moskal
, Wolfram Schulte, Burkhart Wolff:
HOL-Boogie - An Interactive Prover-Backend for the Verifying C Compiler. 111-144 - Perry R. James, Patrice Chalin:
Faster and More Complete Extended Static Checking for the Java Modeling Language. 145-174
Volume 44, Number 3, March 2010
- Behzad Akbarpour, Lawrence C. Paulson
:
MetiTarski: An Automatic Theorem Prover for Real-Valued Special Functions. 175-205 - Michael Mendler, Stephan Scheele:
Towards Constructive DL for Abstraction and Refinement. 207-243 - Olivier Hermant
:
Resolution is Cut-Free. 245-276 - Knot Pipatsrisawat, Adnan Darwiche:
On Modern Clause-Learning Satisfiability Solvers. 277-301
Volume 44, Number 4, April 2010
- Alexander Krauss:
Partial and Nested Recursive Function Definitions in Higher-order Logic. 303-336 - Bernardo Cuenca Grau, Christian Halaschek-Wiener, Yevgeny Kazakov, Boontawee Suntisrivaraporn:
Incremental Classification of Description Logics Ontologies. 337-369 - Mauro Ferrari
, Camillo Fiorentini
, Guido Fiorino:
BCDL\boldsymbol {\cal BC\!D\!L}: Basic Constructive Description Logic. 371-399 - Ruzica Piskac
, Leonardo Mendonça de Moura, Nikolaj S. Bjørner:
Deciding Effectively Propositional Logic Using DPLL and Substitution Sets. 401-424
![](https://dblp.uni-trier.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.