Idioma:

STACS 96: 13th Annual Symposium on Theoretical Aspects of Computer Science Grenoble, France, February 22–24, 1996 Proceedings

Puech, Claude ; Reischuk, Rüdiger Puech, Claude ; Reischuk, Rüdiger

Texto completo disponível

Citações Citado por

Título:
STACS 96: 13th Annual Symposium on Theoretical Aspects of Computer Science Grenoble, France, February 22–24, 1996 Proceedings
Autor: Puech, Claude ; Reischuk, Rüdiger
Puech, Claude ; Reischuk, Rüdiger
Assuntos: Algorithm Analysis and Problem Complexity ; Computation by Abstract Devices ; Computer Science ; Computer software ; Information theory ; Logic design ; Logics and Meanings of Programs ; Mathematical Logic and Formal Languages ; Programming Techniques ; Theory of Computation
Descrição: 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.
Títulos relacionados: Lecture Notes in Computer Science
Editor: Berlin, Heidelberg: Springer Berlin Heidelberg
Data de criação/publicação: 1996
Formato: XII, 690
Idioma: Inglês

Voltar para lista de resultados