Sarukkai, Sundar.
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science 25th International Conference, Hyderabad, India, December 15-18, 2005. Proceedings / [electronic resource] : edited by Sundar Sarukkai, Sandeep Sen. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. - digital. - Lecture Notes in Computer Science, 3821 0302-9743 ; . - Lecture Notes in Computer Science, 3821 .
9783540324195
10.1007/11590156 doi
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.
QA76.9.L63 QA76.5913 QA76.63
005.1015113
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science 25th International Conference, Hyderabad, India, December 15-18, 2005. Proceedings / [electronic resource] : edited by Sundar Sarukkai, Sandeep Sen. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. - digital. - Lecture Notes in Computer Science, 3821 0302-9743 ; . - Lecture Notes in Computer Science, 3821 .
9783540324195
10.1007/11590156 doi
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.
QA76.9.L63 QA76.5913 QA76.63
005.1015113