Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
The present volume contains papers selected for presentation at the 14th Symposium on Mathematical Foundations of Computer Science - MFCS '89 held in Porabka-Kozubnik, Poland, from August 28 to September 1, 1989. Previous MFCs proceedings have also been published in the Lecture Notes in Computer Science. This volume presents investigations and results in theoretical computer science, in particular in the following areas: logics of programs, parallel and distributed computing, deductive databases, automata and formal languages, algorithms and data structures, software specification and validity, complexity and computability theory.
Similar content being viewed by others
Keywords
Table of contents (52 papers)
-
Front Matter
Bibliographic Information
Book Title: Mathematical Foundations of Computer Science 1989
Book Subtitle: Porabka-Kozubnik, Poland, August 28 - September 1, 1989. Proceedings
Editors: Antoni Kreczmar, Grazyna Mirkowska
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/3-540-51486-4
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 1989
Softcover ISBN: 978-3-540-51486-2Published: 09 August 1989
eBook ISBN: 978-3-540-48176-8Published: 30 June 2005
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: X, 610
Topics: Mathematics of Computing, Theory of Computation, Computation by Abstract Devices, Algorithm Analysis and Problem Complexity, Logics and Meanings of Programs, Mathematical Logic and Formal Languages