Mathematical foundations of computer science 1975 : 4th Symposium, Marianske Lazne, September 1-5, 1975 / edited by J. Becvar. - Berlin Springer-Verlag 1975. - 476 p. ; 25 cm. - Lectures notes in computer science 32. .

'The Symposium is organized by Mathematical Institute of the Czechoslovak Academy of Sciences and is co-sponsored by the International Federation for Information Processing (IFIP)'.

Includes indexes and bibliographical references.

0387073892


Formal languages--Congresses.
Machine theory--Congresses.
Programming (Electronic computers)--Congresses.