TY - DATA AU - Ramanujam,R. AU - Sen,Sandeep ED - SpringerLink (Online service) TI - FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science: 25th International Conference, Hyderabad, India, December 15-18, 2005, Proceedings T2 - Lecture Notes in Computer Science, SN - 9783540324195 PY - 2005/// CY - Berlin Heidelberg PB - Springer-Verlag GmbH. KW - Computational complexity KW - Computer Science KW - Computer science KW - Computer software KW - Logic design KW - Algorithm Analysis and Problem Complexity KW - Computation by Abstract Devices KW - Discrete Mathematics in Computer Science KW - Logics and Meanings of Programs KW - Mathematical Logic and Formal Languages KW - Programming Languages, Compilers, Interpreters UR - http://dx.doi.org/10.1007/11590156 ER -