Archive of Formal Proofs, Volume 2011

Volume 2011, 2011

maintained by Schloss Dagstuhl LZI at University of Trier