Mathematical Foundations of Computer Science 1990
Banska Bystrica, Czechoslovakia, August 27-31, 1990 Proceedings
Editors: Rovan, Branislav (Ed.)
Free PreviewBuy this book
- About this book
-
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.
- Table of contents (62 chapters)
-
-
A logical operational semantics of full Prolog
Pages 1-14
-
Syntactic theories
Pages 15-25
-
On kleene algebras and closed semirings
Pages 26-47
-
Interactive computations of optimal solutions
Pages 48-60
-
Restricted branching programs and their computational power
Pages 61-75
-
Table of contents (62 chapters)
Recommended for you
Bibliographic Information
- Bibliographic Information
-
- Book Title
- Mathematical Foundations of Computer Science 1990
- Book Subtitle
- Banska Bystrica, Czechoslovakia, August 27-31, 1990 Proceedings
- Editors
-
- Branislav Rovan
- Series Title
- Lecture Notes in Computer Science
- Series Volume
- 452
- Copyright
- 1990
- Publisher
- Springer-Verlag Berlin Heidelberg
- Copyright Holder
- Springer-Verlag Berlin Heidelberg
- eBook ISBN
- 978-3-540-47185-1
- DOI
- 10.1007/BFb0029591
- Softcover ISBN
- 978-3-540-52953-8
- Series ISSN
- 0302-9743
- Edition Number
- 1
- Number of Pages
- X, 546
- Topics
