TY - BOOK AU - Havel I M ED - International Symposium on Mathematical Foundations of Computer Science( 17th : 1992 : Prague ) ED - International Symposium on Mathematical Foundations of Computer Science 17th TI - Mathematical foundations of computer science : proceedings U1 - 4.0151 PY - 1992/// CY - Berlin PB - Springer Verlag KW - Computer science KW - Mathematical foundation ER -