Author: Symposium on Mathematical Foundations of Computer Science (1972- ) (31st 2006 Stará Lesná, Slovakia)