Mathematical Foundations of Computer Science 1997
22nd International Symposium, MFCS'97, Bratislava, Slovakia, August 25-29, 1997, Proceedings
Editors: Privara, Igor, Ruzicka, Peter (Eds.)
Free PreviewBuy this book
- About this book
-
This book constitutes the refereed proceedings of the 22nd International Symposium on Mathematical Foundations of Computer Science, MFCS '97, held in Bratislava, Slovakia, in August 1997.
The 40 revised full papers presented were carefully selected from a total of 94 submissions. Also included are nine invited papers and two abstracts of invited talks. The papers cover the whole range of theoretical computer science including programming theory, complexity theory, mathematical logic, rewriting, grammars, formal languages, theory of algorithms, computational graph theory, etc.
- Table of contents (51 chapters)
-
-
Game semantics for programming languages
Pages 1-4
-
Communication complexity
Pages 5-18
-
Treewidth: Algorithmic techniques and results
Pages 19-36
-
When are two rewrite systems more than none?
Pages 37-43
-
Positive applications of lattices to cryptography
Pages 44-51
-
Table of contents (51 chapters)
Recommended for you

Bibliographic Information
- Bibliographic Information
-
- Book Title
- Mathematical Foundations of Computer Science 1997
- Book Subtitle
- 22nd International Symposium, MFCS'97, Bratislava, Slovakia, August 25-29, 1997, Proceedings
- Editors
-
- Igor Privara
- Peter Ruzicka
- Series Title
- Lecture Notes in Computer Science
- Series Volume
- 1295
- Copyright
- 1997
- Publisher
- Springer-Verlag Berlin Heidelberg
- Copyright Holder
- Springer-Verlag Berlin Heidelberg
- eBook ISBN
- 978-3-540-69547-9
- DOI
- 10.1007/BFb0029943
- Softcover ISBN
- 978-3-540-63437-9
- Series ISSN
- 0302-9743
- Edition Number
- 1
- Number of Pages
- X, 526
- Topics