Archive of Formal Proofs, Volume 2016

Volume 2016, 2016

a service of Schloss Dagstuhl - Leibniz Center for Informatics