Artemov, Sergei N.
Logical Foundations of Computer Science International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings / [electronic resource] : edited by Sergei N. Artemov, Anil Nerode. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2007. - digital. - Lecture Notes in Computer Science, 4514 0302-9743 ; . - Lecture Notes in Computer Science, 4514 .
9783540727347
10.1007/978-3-540-72734-7 doi
Computer science.
Logic design.
Logic, Symbolic and mathematical.
Computer Science.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Mathematical Logic and Foundations.
QA8.9-QA10.3
005.131
Logical Foundations of Computer Science International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings / [electronic resource] : edited by Sergei N. Artemov, Anil Nerode. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2007. - digital. - Lecture Notes in Computer Science, 4514 0302-9743 ; . - Lecture Notes in Computer Science, 4514 .
9783540727347
10.1007/978-3-540-72734-7 doi
Computer science.
Logic design.
Logic, Symbolic and mathematical.
Computer Science.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Mathematical Logic and Foundations.
QA8.9-QA10.3
005.131