Mathematical Foundations of Computer Science 1990 [electronic resource] : Banská Bystrica, Czechoslovakia August 27–31, 1990 Proceedings /
This volume contains papers selected for presentation at the 15th Symposium on Mathematical Foundations of Computer Science, MFCS '90, held at Banská Bystrica, Czechoslovakia, August 27-31, 1990. Previous MFCS proceedings have also been published in the Lecture Notes in Computer Science. This symposium is the 15th in a series of international meetings which have taken place in Czechoslovakia and Poland. The aim of these symposia is to bring together specialists in theoretical fields of computer science from various countries and to stimulate mathematical research in theoretical computer science. These proceedings consist of 10 invited papers and 52 communications selected by the international Program Committee. The papers present the latest results in key areas of computer science by authors from Europe, USA, Japan and China.
Main Authors: | Rovan, Branislav. editor., SpringerLink (Online service) |
---|---|
Format: | Texto biblioteca |
Language: | eng |
Published: |
Berlin, Heidelberg : Springer Berlin Heidelberg,
1990
|
Subjects: | Computer science., Computers., Algorithms., Computer logic., Mathematical logic., Computer science, Computer Science., Computation by Abstract Devices., Theory of Computation., Mathematics of Computing., Algorithm Analysis and Problem Complexity., Logics and Meanings of Programs., Mathematical Logic and Formal Languages., |
Online Access: | http://dx.doi.org/10.1007/BFb0029591 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Mathematical Foundations of Computer Science 1990 [electronic resource] : Banská Bystrica, Czechoslovakia August 27–31, 1990 Proceedings /
by: Rovan, Branislav. 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) -
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)