Mathematical Foundations of Computer Science 2007 32nd International Symposium, MFCS 2007 Cesky Krumlov, Czech Republic, August 26-31, 2007 Proceedings / [electronic resource] : edited by Ludek Kucera, Antonin Kucera. - Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007. - 764 p. : ill., digital ; 24 cm. - Lecture Notes in Computer Science, 4708 0302-9743 ; . ISBN: 9783540744566 (electronic bk.) 9783540744559 (paper) Subjects--Topical Terms: Computer Science.Algorithm Analysis and Problem Complexity.Algorithms.Computation by Abstract Devices.Data Structures.Discrete Mathematics in Computer Science.Logics and Meanings of Programs.