Computer science - theory and applications : second International Symposium on Computer Science in Russia, CSR 2007 : Ekaterinburg, Russia, September 3-7, 2007 : proceedings - Diekert, Volker, 1955-; Volkov, Mikhail V.; Voronkov, Andrei, 1959- (Lecture notes in computer science ;, 2007)