Archive of Formal Proofs, Volume 2004

Volume 2004, 2004

maintained by Schloss Dagstuhl LZI at University of Trier