6. Ershov Memorial Conference 2006: Novosibirsk, Russia

Invited Papers

Regular Papers

Short Papers

a service of Schloss Dagstuhl - Leibniz Center for Informatics