60. Birthday: Dexter Kozen 2012

Full Papers

Laudatios

a service of Schloss Dagstuhl - Leibniz Center for Informatics