Archive of Formal Proofs, Volume 2006

Volume 2006, 2006

Schloss Dagstuhl LZI