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 updated on Wed May 22 05:51:04 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page