Journal of Automated Reasoning, Volume 49

Refine list

showing all ?? records

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