Formal Aspects of Computing, Volume 12

Volume 12, Number 1, 2000

Volume 12, Number 2, 2000

Volume 12, Number 3, 2000

Volume 12, Number 4, 2000

Volume 12, Number 5, 2000

Volume 12, Number 6, 2000

a service of Schloss Dagstuhl - Leibniz Center for Informatics