This volume contains the proceedings of the 16th International Symposium on Mathematical Foundations of Computer Science, MFCS '91, held in Kazimierz Dolny, Poland, September 9-13, 1991. The series of MFCS symposia, organized alternately in Poland and Czechoslovakia since 1972, has a long and well established tradition. The purpose of the series is to encourage high-quality research in all branches of theoretical computer science and to bring together specialists working actively in the area. Principal areas of interest in this symposium include: software specification and development, parallel and distributed computing, logic and semantics of programs, algorithms, automata and formal languages, complexity and computability theory, and others. The volume contains 5 invited papers by distinguished scientists and 38 contributions selected from a total of 109 submitted papers.

Bibliographic Information

Book Title: Mathematical Foundations of Computer Science 1991
Book Subtitle: 16th International Symposium, Kazimierz Dolny, Poland, September 9-13, 1991. Proceedings
Editors: Andrzej Tarlecki
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/3-540-54345-7
Publisher: Springer Berlin, Heidelberg
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 1991
Softcover ISBN: 978-3-540-54345-9Published: 07 August 1991
eBook ISBN: 978-3-540-47579-8Published: 02 July 2005
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XI, 437
Topics: Theory of Computation, Software Engineering/Programming and Operating Systems, Computer System Implementation, Computation by Abstract Devices, Algorithm Analysis and Problem Complexity, Logics and Meanings of Programs

Publish with us

Policies and ethics

Mathematical Foundations of Computer Science 1991

Overview

Access this book

Other ways to access

Table of contents (43 papers)

Front Matter

Other volumes