Archive of Formal Proofs, Volume 2007

Volume 2007, 2007

Schloss Dagstuhl LZI