FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science 26th International Conference, Kolkata, India, December 13-15, 2006. Proceedings / [electronic resource] :
edited by S. Arun-Kumar, Naveen Garg.
- Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006.
- v.: digital
- Lecture Notes in Computer Science, 4337 0302-9743 .
9783540499954
Computer science Computer software Logic design Computational complexity Computer Science Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Mathematical Logic and Formal Languages Algorithm Analysis and Problem Complexity Computation by Abstract Devices Discrete Mathematics in Computer Science