Mathematical foundations of computer science 2003 - Rovan Branislav; INTERNATIONAL SYMPOSIUM, MFCS 2003 (28 : AUGU--29, : BRATISLAVA SLOVAKIA); Vojtas Peter (Berlin Springer-Verlag, 2003)
Includes bibliographical references.; Index 691-692p.
Keywords: Mathematical foundations; Computer science