Volume 55, Issue 1-2

February 2009

Special Issue on First-Order Theorem Proving / Guest Edited by Silvio Ranise and Ullrich Hustadt

7 articles in this issue

Preface
Silvio Ranise
Ullrich Hustadt
EditorialNotes 04 July 2009 Pages: 1 - 2
Labelled splitting
Arnaud Fietzke
Christoph Weidenbach
OriginalPaper Open access 23 July 2009 Pages: 3 - 34
Automated verification of refinement laws
Peter Höfner
Georg Struth
Geoff Sutcliffe
OriginalPaper 04 July 2009 Pages: 35 - 62
Delayed theory combination vs. Nelson-Oppen for satisfiability modulo theories: a comparative analysis
Roberto Bruttomesso
Alessandro Cimatti
Roberto Sebastiani
OriginalPaper 24 July 2009 Pages: 63 - 99
Solving quantified verification conditions using satisfiability modulo theories
Yeting Ge
Clark Barrett
Cesare Tinelli
OriginalPaper 16 July 2009 Pages: 101 - 122
Inductive proof search modulo
Fabrice Nahon
Claude Kirchner
Paul Brauner
OriginalPaper 15 July 2009 Pages: 123 - 154
A new methodology for developing deduction methods
Renate A. Schmidt
OriginalPaper 09 July 2009 Pages: 155 - 187

Search