Mathematical foundations of computer science 2010 : 35th International Symposium, MFCS 2010 : Brno, Česká republika, August 23-27, 2010 : proceedings - Hliněný, Petr, 1971-; Kučera, Antonín, 1971- (Lecture notes in computer science, 2010)