Formalized Mathematics, Volume 20

Volume 20, Number 1, 2012

Volume 20, Number 2, June 2012

Volume 20, Number 3, September 2012

Volume 20, Number 4, December 2012

maintained by Schloss Dagstuhl LZI, founded at University of Trier