ENGLISH

Mathematical Foundations of Computer Science 1993: 18th International Symposium, MFCS'93 Gdańsk, Poland, August 30–September 3, 1993 Proceedings

By Krzysztof R. Apt , Sandro Etalle (auth.) , Andrzej M. Borzyszkowski , Stefan Sokołowski (eds.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
1993
ISBN
978-3-540-57182-7, 978-3-540-47927-7
DOI
10.1007/3-540-57182-5
Language
english
Format
PDF
Filesize
12 MB (12774709 bytes)
Series
Lecture Notes in Computer Science 711
Edition
1
Pages
786\797
Orientation
yes
Scanned
yes
Time added
2013-08-01 04:00:00
Computation by Abstract Devices; Algorithm Analysi

Description

This volume contains the proceedings of the 18th International Symposium on Mathematical Foundations of Computer Science, MFCS '93, held in Gdansk, Poland, August-September 1993. The MFCS symposia, organized annually in Poland and the former Czechoslovakia since 1972, have a long and well-established tradition. Over the years they have served as a meeting ground for specialists from all branches of theoretical computer science, in particular - algorithms and complexity, automata theory and theory of languages, - concurrent, distributed and real-time systems, - the theory of functional, logic and object-oriented programming, - lambda calculus and type theory, - semantics and logics of programs, and others. The volume contains 12 invitedlectures and 56 contributed papers selected from 133 submissions.

Similar books