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 Bjørner:
  Deciding Effectively Propositional Logic Using DPLL and Substitution Sets. 401-424
  

Last update Wed May 22 17:53:23 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page