Book Details

FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science

: 2006

: 978-3-540-49995-4

:


This book constitutes the refereed proceedings of the 26th International Conference on the Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2006, held in Kolkata, India, in December 2006. It contains 38 papers that cover a broad variety of current topics from the theory of computing, ranging from formal methods, discrete mathematics, complexity theory, and automata theory to theoretical computer science in general.


: Computer Science, Automat, automata, automata theory, complexity, complexity theory, computer, formal method, logic, mathematical logic, programming