Perspectives of Systems Informatics, 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers

Irina Virbitskaite Andrei Voronkov Perspectives of Systems Informatics, 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers Ershov Memorial Conference Lecture Notes in Computer Science 4378 Springer 2007 978-3-540-70880-3 db/conf/ershov/ershov2006.html