Mathematical Foundations of Computer Science 2001 26th International Symposium, MFCS 2001 Marianske Lazne, Czech Republic, August 27-31, 2001 Proceedings - Sgall, Jiri; Sgall, Jiri; Pultr, Ales; Pultr, Ales; Kolman, Petr; Kolman, Petr (Springer Berlin Heidelberg : Imprint: Springer, 2001)