Editors:
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 1046)
Conference series link(s): STACS: Annual Symposium on Theoretical Aspects of Computer Science
Conference proceedings info: STACS 1996.
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (54 papers)
-
Front Matter
About this book
The 52 revised papers presented were selected from a total of 185 submissions; also included are three invited papers. The volume addresses all current aspects of theoretical computer science and is organized in sections on complexity theory, automata theory, parallel algorithms, learning, parallel and distributed systems, cryptography, logic and database theory, algorithms, semantics and program verification, and communication complexity.
Bibliographic Information
Book Title: STACS 96
Book Subtitle: 13th Annual Symposium on Theoretical Aspects of Computer Science, Grenoble, France, February 22-24, 1996. Proceedings
Editors: Claude Puech, Rüdiger Reischuk
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/3-540-60922-9
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 1996
Softcover ISBN: 978-3-540-60922-3Published: 14 February 1996
eBook ISBN: 978-3-540-49723-3Published: 15 July 2005
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XII, 690
Topics: Theory of Computation, Computation by Abstract Devices, Algorithm Analysis and Problem Complexity, Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Programming Techniques