TY - BOOK AU - Rovan,B. ED - Symposium on Mathematical Foundations of Computer Science TI - Mathematical foundations of computer science 1990: Banska Bystrica, Czechoslovakia, August 27-31, 1990 : proceedings SN - 3540529535 AV - QA76.9 M35 M38 1990 PY - 1990/// CY - Berlin PB - Springer KW - Electronic data processing KW - Mathematics KW - Congresses N1 - Spine title: MFCS '90 ER -