Skip to main content


Journal of Automated Reasoning

Journal of Automated Reasoning 1/2015

Issue 1/2015

Table of Contents ( 4 Articles )

01-01-2015 | Issue 1/2015

Formally Verified Certificate Checkers for Hardest-to-Round Computation

Érik Martin-Dorel, Guillaume Hanrot, Micaela Mayero, Laurent Théry

01-01-2015 | Issue 1/2015

Automated Planning as an Early Verification Tool for Distributed Control

Kamalesh Ghosh, Pallab Dasgupta, S. Ramesh

01-01-2015 | Issue 1/2015

On Interpolation in Automated Theorem Proving

Maria Paola Bonacina, Moa Johansson

01-01-2015 | Erratum | Issue 1/2015

Erratum to : Learning-Assisted Automated Reasoning with Flyspeck

Cezary Kaliszyk, Josef Urban

Current Publications

Premium Partner

    Image Credits