Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
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 content being viewed by others
Keywords
Table of contents (68 papers)
-
Front Matter
Bibliographic Information
Book Title: Mathematical Foundations of Computer Science 1993
Book Subtitle: 18th International Symposium, MFCS’93, Gdańsk, Poland, August 30–September 3, 1993 Proceedings
Editors: Andrzej M. Borzyszkowski, Stefan Sokołowski
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/3-540-57182-5
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 1993
Softcover ISBN: 978-3-540-57182-7Published: 18 August 1993
eBook ISBN: 978-3-540-47927-7Published: 30 June 2005
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XIII, 786
Topics: Applications of Mathematics, Software Engineering/Programming and Operating Systems, Theory of Computation, Computation by Abstract Devices, Algorithm Analysis and Problem Complexity, Logics and Meanings of Programs