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

a service of Schloss Dagstuhl - Leibniz Center for Informatics