Mathematical foundations of computer science 2001 26th international symposium, MFCS 2001, Mariánské Láznĕ, Czech Republic, August 2001 : proceedings / - Sgall, Jiří,; Pultr, Aleš.; Kolman, Petr. (Lecture notes in computer science ;)