TY - BOOK AU - Kralovic,Rastislav AU - Urzyczyn,Pawel ED - Symposium on Mathematical Foundations of Computer Science TI - Mathematical foundations of computer science 2006: 31st international symposium, MFCS 2006, Stara Lesna, Slovakia, August 28-September 1, 2006 ; proceedings SN - 3540377913 PY - 2006/// CY - Berlin PB - Springer KW - Computer programming KW - Congresses KW - Algorithms KW - Computable functions KW - Machine theory ER -