Mathematical Foundations of Computer Science 1993 : 18th International Symposium, MFCS'93 Gdańsk, Poland, August 30-September 3, 1993 Proceedings /
Saved in:
Author / Creator: | Borzyszkowski, Andrzej M. |
---|---|
Imprint: | Berlin, Heidelberg : Springer Berlin Heidelberg, 1993. |
Description: | 1 online resource (XIII, 786 pages). |
Language: | English |
Series: | Lecture Notes in Computer Science, 0302-9743 ; 711 Lecture notes in computer science ; 711. |
Subject: | |
Format: | E-Resource Book |
URL for this record: | http://pi.lib.uchicago.edu/1001/cat/bib/11080458 |
Other authors / contributors: | Sokołowski, Stefan. |
---|---|
ISBN: | 9783540479277 3540479279 3540479279 9783540571827 |
Summary: | 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. |
Other form: | Print version: 9783540571827 |
Standard no.: | 10.1007/3-540-57182-5 |
Similar Items
-
Mathematical Foundations of Computer Science 1993 : 18th International Symposium, MFCS '93, Gdansk, Poland, August 30 - September 3, 1993. Proceedings /
by: Borzyszkowski, Andrzej M.
Published: (1993) -
Trees in Algebra and Programming - CAAP '94 : 19th International Colloquium, Edinburgh, U.K., April 11-13, 1994. Proceedings /
by: Tison, Sophie
Published: (1994) -
LATIN '95: Theoretical Informatics : Second Latin American Symposium Valparaíso, Chile, April 3-7, 1995 Proceedings /
by: Baeza-Yates, R. (Ricardo)
Published: (1995) -
Fundamentals of Computation Theory : International Conference FCT '89 Szeged, Hungary, August 21-25, 1989 Proceedings /
Published: (1989) -
Mathematical Foundations of Computer Science 1989 : Porabka-Kozubnik, Poland August 28 - September 1, 1989 Proceedings /
Published: (1989)