Journal of Automated Reasoning, Volume 47

Volume 47, Number 1, June 2011

Volume 47, Number 2, August 2011

Special Issue of Selected Extended Papers of CADE-22 / Guest Edited by Renate A. Schmidt and Brigitte Pientka

Volume 47, Number 3, October 2011

Volume 47, Number 4, December 2011

Special Issue on Selected Papers from the 5th International Joint Conference on Automated Reasoning
maintained by Schloss Dagstuhl LZI at University of Trier