Mathematical Foundations of Computer Science 1989 [electronic resource] : Porabka-Kozubnik, Poland August 28 – September 1, 1989 Proceedings /
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.
Saved in:
Main Authors: | Kreczmar, Antoni. editor., Mirkowska, Grazyna. editor., SpringerLink (Online service) |
---|---|
Format: | Texto biblioteca |
Language: | eng |
Published: |
Berlin, Heidelberg : Springer Berlin Heidelberg,
1989
|
Subjects: | Computer science., Computers., Algorithms., Computer logic., Mathematical logic., Computer science, Computer Science., 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., |
Online Access: | http://dx.doi.org/10.1007/3-540-51486-4 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Mathematical Foundations of Computer Science 1989 [electronic resource] : Porabka-Kozubnik, Poland August 28 – September 1, 1989 Proceedings /
by: Kreczmar, Antoni. editor., et al.
Published: (1989) -
STACS 90 [electronic resource] : 7th Annual Symposium on Theoretical Aspects of Computer Science Rouen, France, February 22–24, 1990 Proceedings /
by: Choffrut, Christian. editor., et al.
Published: (1990) -
STACS 90 [electronic resource] : 7th Annual Symposium on Theoretical Aspects of Computer Science Rouen, France, February 22–24, 1990 Proceedings /
by: Choffrut, Christian. editor., et al.
Published: (1990) -
Machines, Computations, and Universality [electronic resource] : Third International Conference, MCU 2001 ChişinĂu, Moldova, May 23–27, 2001 Proceedings /
by: Margenstern, Maurice. editor., et al.
Published: (2001) -
Machines, Computations, and Universality [electronic resource] : Third International Conference, MCU 2001 ChişinĂu, Moldova, May 23–27, 2001 Proceedings /
by: Margenstern, Maurice. editor., et al.
Published: (2001)