Mathematical foundations of computer science 2001 : 26th international symposium, MFCS 2001, Mariánské Lázne, Czech Republic, August 2001 : proceedings - Kolman, Petr; Pultr, Ales; Sgall, Jirí, 1965- (Lecture notes in computer science, 2001)