Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 1200)
Included in the following conference series:
Conference proceedings info: STACS 1997.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (49 papers)
Other volumes
-
STACS 97
Keywords
About this book
The 46 revised full papers included were carefully selected from a total of 139 submissions; also included are three invited full papers. The papers presented span the whole scope of theoretical computer science. Among the topics covered are, in particular, algorithms and data structures, computational complexity, automata and formal languages, structural complexity, parallel and distributed systems, parallel algorithms, semantics, specification and verification, logic, computational geometry, cryptography, learning and inductive inference.
Bibliographic Information
Book Title: STACS 97
Book Subtitle: 14th Annual Symposium on Theoretical Aspects of Computer Science, Lübeck, Germany, February 27 - March 1, 1997 Proceedings
Editors: Rüdiger Reischuk, Michel Morvan
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/BFb0023443
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 1997
Softcover ISBN: 978-3-540-62616-9Published: 21 February 1997
eBook ISBN: 978-3-540-68342-1Published: 19 November 2005
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XV, 621
Topics: Theory of Computation, Programming Techniques, Programming Languages, Compilers, Interpreters, Discrete Mathematics in Computer Science