18. TPHOLs 2005: Oxford, UK

Invited Papers

Regular Papers

Proof Pearls

maintained by Schloss Dagstuhl LZI at University of Trier