Infinity in Logic and Computation

ILC 2007: Cape Town, South Africa

maintained by Schloss Dagstuhl LZI, founded at University of Trier