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

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

Saved in:
Bibliographic Details
Imprint:Berlin, Heidelberg : Springer-Verlag, 1989.
Description:1 online resource : v.: digital.
Language:English
Series:Lecture Notes in Computer Science, 0302-9743 ; 379
Lecture notes in computer science ; 379.
Subject:
Computer science.
Computer software.
Logic design.
Combinatorial analysis.
Combinatorial analysis.
Computer science.
Computer software.
Logic design.
Format: E-Resource Book
URL for this record:http://pi.lib.uchicago.edu/1001/cat/bib/11077947
Hidden Bibliographic Details
Other authors / contributors:Kreczmar, Antoni.
Mirkowska-Salwicka, Grażyna.
Symposium on Mathematical Foundations of Computer Science (1972- ) (14th : 1989 : Porąbka, Bielsko, Poland and Kozubnik, Poland)
ISBN:9783540481768
3540481761
0387514864
9780387514864
9783540514862
Notes:Includes bibliographical references.
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.
Other form:Print version: Mathematical Foundations of Computer Science 1989. Berlin, Heidelberg : Springer-Verlag, 1989

Similar Items

Similar Items