Cover Image

Mathematical Foundations of Computer Science 1989 : Porabka-Kozubnik, Poland August 28 - September 1, 1989 Proceedings /

Show other versions (1)

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 Compute...

Full description

Bibliographic Details
Corporate Authors: SpringerLink (Online service), Symposium on Mathematical Foundations of Computer Science (1972- )
Other Authors: Kreczmar, Antoni, Mirkowska-Salwicka, Grażyna
Format: Conference Proceeding eBook
Language:English
Published: Berlin, Heidelberg : Springer-Verlag, 1989.
Series:Lecture notes in computer science ; 379.
Subjects:
Computer science.
Computer software.
Logic design.
Combinatorial analysis.
Computation by Abstract Devices.
Algorithm Analysis and Problem Complexity.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Programming Languages, Compilers, Interpreters.
Electronic books.
Conference proceedings.
Online Access:Connect to the full text of this electronic book
Description
Summary: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.
Item Description:Electronic resource.
Physical Description:1 online resource : illustrations.
Bibliography:Includes bibliographical references.
ISBN:9783540481768 (electronic bk.)
3540481761 (electronic bk.)
0387514864 (U.S.)
9780387514864 (U.S.)
ISSN:0302-9743 ;