FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science 25th International Conference, Hyderabad, India, December 15-18, 2005. Proceedings - Sarukkai, Sundar; Sen, Sandeep; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2005)
Keywords: Computer science; Computer software; Logic design; Computational complexity; Computer Science; Logics and Meanings of Programs; Programming Languages, Compilers, Interpreters; Computation by Abstract Devices; Algorithm Analysis and Problem Complexity; Mathematical Logic and Formal Languages; Discrete Mathematics in Computer Science