Volume 51, Issue 1 | Journal of Automated Reasoning

Search all Journal of Automated Reasoning articles

Volume 51, Issue 1

June 2013

Special Issue of Selected Extended Papers of CADE-23

Issue Editors:

Nikolaj Bjørner,
Viorica Sofronie-Stokkermans

6 articles in this issue

Preface: Special Issue of Selected Extended Papers of CADE-23
Nikolaj Bjørner
Viorica Sofronie-Stokkermans
OriginalPaper 08 March 2013 Pages: 1 - 2
A Connection-based Characterization of Bi-intuitionistic Validity
Didier Galmiche
Daniel Méry
OriginalPaper 08 March 2013 Pages: 3 - 26
Analyzing Innermost Runtime Complexity of Term Rewriting by Dependency Pairs
Lars Noschinski
Fabian Emmes
Jürgen Giesl
OriginalPaper 02 March 2013 Pages: 27 - 56
Reducing Higher-Order Theorem Proving to a Sequence of SAT Problems
Chad E. Brown
OriginalPaper 15 March 2013 Pages: 57 - 77
Cutting to the Chase
Dejan Jovanović
Leonardo de Moura
OriginalPaper 15 March 2013 Pages: 79 - 108
Extending Sledgehammer with SMT Solvers
Jasmin Christian Blanchette
Sascha Böhme
Lawrence C. Paulson
OriginalPaper 05 March 2013 Pages: 109 - 128