by International Andrei Ershov Memorial Conference (4th 2001 Akademgorodok, Novosibirsk, Russia)
This book constitutes the thoroughly refereed post-proceedings of the 4th International Andrei Ershov Memorial Conference, PSI 2001, held in Akademgorodok, Novosibirsk, Russia, in July 2001. The 50…