Journal of Automated Reasoning, Volume 59

Volume 59, Number 1, June 2017

Special Issue: Automatic Resource Bound Analysis

Volume 59, Number 2, August 2017

Volume 59, Number 3, October 2017

Volume 59, Number 4, December 2017

a service of Schloss Dagstuhl - Leibniz Center for Informatics