Arvind, V.
FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science 27th International Conference, New Delhi, India, December 12-14, 2007. Proceedings / [electronic resource] : edited by V. Arvind, Sanjiva Prasad. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2007. - digital. - Lecture Notes in Computer Science, 4855 0302-9743 ; . - Lecture Notes in Computer Science, 4855 .
9783540770503
10.1007/978-3-540-77050-3 doi
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.
QA76.9.L63 QA76.5913 QA76.63
005.1015113
FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science 27th International Conference, New Delhi, India, December 12-14, 2007. Proceedings / [electronic resource] : edited by V. Arvind, Sanjiva Prasad. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2007. - digital. - Lecture Notes in Computer Science, 4855 0302-9743 ; . - Lecture Notes in Computer Science, 4855 .
9783540770503
10.1007/978-3-540-77050-3 doi
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.
QA76.9.L63 QA76.5913 QA76.63
005.1015113