Formalized Mathematics, Volume 21

Volume 21, Number 1, January 2013

Volume 21, Number 2, June 2013

Volume 21, Number 3, September 2013

Volume 21, Number 4, December 2013

a service of Schloss Dagstuhl - Leibniz Center for Informatics