STACS 96 13th Annual Symposium on Theoretical Aspects of Computer Science, Grenoble, France, February 22-24, 1996. Proceedings
Description
This book constitutes the refereed proceedings of the 13th Symposium on Theoretical Aspects of Computer Science, STACS 96, held in Grenoble, France in February 1996.
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.
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.
Keywords
ComputersComputer ScienceInformation TechnologyLogic DesignMachine TheoryOperating SystemsProgrammingAlgorithmsUser InterfacesMathematicsDiscrete MathematicsLogic
1996Book
Author(s)F Symposium on Theoretical Aspects of Computer Science 1996 Grenoble, Claude Puech, Rudiger Reischuk, Symposium on Theoretical Aspects of Computer Science (13th 1996 Grenoble, France)
PublisherSpringer Science & Business Media
ISBN9783540609223
LanguageEnglish
