Volume 58, Issue 3 | Journal of Automated Reasoning

Search all Journal of Automated Reasoning articles

Volume 58, Issue 3

March 2017

Special Issue: Selected Extended Papers of CADE 2015

Issue Editors:

Amy Felty,
Aart Middeldorp

5 articles in this issue

Preface: Selected Extended Papers of CADE 2015
Amy Felty
Aart Middeldorp
EditorialNotes 20 December 2016 Pages: 311 - 312
Combining SAT Solvers with Computer Algebra Systems to Verify Combinatorial Conjectures
Edward Zulkoski
Curtis Bright
Vijay Ganesh
OriginalPaper 01 December 2016 Pages: 313 - 339
A Decision Procedure for (Co)datatypes in SMT Solvers
Andrew Reynolds
Jasmin Christian Blanchette
OriginalPaper 09 May 2016 Pages: 341 - 362
Abstract Interpretation as Automated Deduction
Vijay D’Silva
Caterina Urban
OriginalPaper 27 July 2016 Pages: 363 - 390
Relative Termination via Dependency Pairs
José Iborra
Naoki Nishida
Akihisa Yamada
OriginalPaper Open access 30 April 2016 Pages: 391 - 411