Journal of Automated Reasoning, Volume 49

Volume 49, Number 1, June 2012

Volume 49, Number 2, August 2012

Special Issue: Theory and Applications of Abstraction, Substitution and Naming

Volume 49, Number 3, October 2012

Special Issue: The POPLmark Challenge

Volume 49, Number 4, December 2012

a service of Schloss Dagstuhl - Leibniz Center for Informatics