4th symposium, Marianske Lazne, September 1-5, 1975 Becvar, J. 1926- Czechoslovak Academy of Sciences International Federation for Information Processing Symposium on Mathematical Foundations of Computer Science 1975 : Marianske Lazne, Czechoslovak Republic) text conference publication gw Berlin Springer 1975 monographic eng 476 p. edited by J. Becvar "Organized by the Mathematical Institute of the Czechoslovak Academy of Sciences and is co-sponsored by the International Federation for Information Processing (IFIP)" Sequential machine theory Congresses Formal languages Congresses QA76.9 M35 M38 1975 3540073892 090714 20260818154548.0