STACS 88
5th Annual Symposium on Theoretical Aspects of Computer Science, Bordeaux, France, February 11-13,1988; Proceedings
Editors: Cori, Robert, Wirsing, Martin (Eds.)
Free PreviewBuy this book
- About this book
-
This volume contains the presentations of the Fifth Symposium on Theoretical Aspects of Computer Science (STACS 88) held at the University of Bordeaux, February 11-13, 1988. In addition to papers presented in the regular program the volume contains abstracts of software systems demonstrations which were included in this conference series in order to show applications of research results in theoretical computer science. The papers are grouped into the following thematic sections: algorithms, complexity, formal languages, rewriting systems and abstract data types, graph grammars, distributed algorithms, geometrical algorithms, trace languages, semantics of parallelism.
- Table of contents (43 chapters)
-
-
Geometry of numbers and integer programming
Pages 1-7
-
Getting back to the past in the union-find problem
Pages 8-17
-
On the construction of optimal time adders
Pages 18-28
-
On computations with integer division
Pages 29-37
-
Maintaining range trees in secondary memory
Pages 38-51
-
Table of contents (43 chapters)
Recommended for you

Bibliographic Information
- Bibliographic Information
-
- Book Title
- STACS 88
- Book Subtitle
- 5th Annual Symposium on Theoretical Aspects of Computer Science, Bordeaux, France, February 11-13,1988; Proceedings
- Editors
-
- Robert Cori
- Martin Wirsing
- Series Title
- Lecture Notes in Computer Science
- Series Volume
- 294
- Copyright
- 1988
- Publisher
- Springer-Verlag Berlin Heidelberg
- Copyright Holder
- Springer-Verlag Berlin Heidelberg
- eBook ISBN
- 978-3-540-48190-4
- DOI
- 10.1007/BFb0035825
- Softcover ISBN
- 978-3-540-18834-6
- Series ISSN
- 0302-9743
- Edition Number
- 1
- Number of Pages
- XII, 408
- Topics