Dagstuhl Seminar Proceedings: Mathematics, Algorithms, Proofs 2005

a service of Schloss Dagstuhl - Leibniz Center for Informatics