60. Birthday: Dexter Kozen 2012

Full Papers

Laudatios

maintained by Schloss Dagstuhl LZI at University of Trier