Journal of Applied Logic, Volume 7

Volume 7, Number 1, March 2009

Volume 7, Number 2, June 2009

Volume 7, Number 3, September 2009

Volume 7, Number 4, December 2009

Special issue papers Regular papers
maintained by Schloss Dagstuhl LZI at University of Trier