TY - BOOK AU - Rovan B ED - Symposium on Mathematical Foundations of Computer Science( 15th : 1990 : Czechoslovakia ) ED - Symposium on Mathematical Foundations of Computer Science 15th TI - Mathematical foundations of Computer science : proceedings U1 - 4.0151 PY - 1990/// CY - Berlin PB - Springer Verlag KW - Computer science ER -