Archive of Formal Proofs, Volume 2005

Volume 2005, 2005

maintained by Schloss Dagstuhl LZI at University of Trier