TY - BOOK AU - Gruska,Jozef AU - Rovan,Branislav AU - Wiedermann,Juraj ED - Symposium on Mathematical Foundations of Computer Science TI - Mathematical foundations of computer science 1986: proceedings of the 12th symposium, Bratislava, Czechoslovakia, August 25-29, 1986 SN - 3540167838 AV - QA76.9 M35 M38 1986 PY - 1986/// CY - Berlin PB - Springer KW - Machine theory KW - Congresses KW - Formal languages KW - Computational complexity N1 - Prepared present at the 12th Symposium on Mathematical Foundations of Computer Science; Spine title: MFCS '86 ER -