Artemov, Sergei.
Logical Foundations of Computer Science International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings / [electronic resource] : edited by Sergei Artemov, Anil Nerode. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. - digital. - Lecture Notes in Computer Science, 5407 0302-9743 ; . - Lecture Notes in Computer Science, 5407 .
9783540926870
10.1007/978-3-540-92687-0 doi
Computer science.
Information theory.
Algebra--Data processing.
Logic, Symbolic and mathematical.
Computer Science.
Mathematical Logic and Formal Languages.
Arithmetic and Logic Structures.
Symbolic and Algebraic Manipulation.
Theory of Computation.
Mathematical Logic and Foundations.
QA8.9-QA10.3
005.131
Logical Foundations of Computer Science International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings / [electronic resource] : edited by Sergei Artemov, Anil Nerode. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. - digital. - Lecture Notes in Computer Science, 5407 0302-9743 ; . - Lecture Notes in Computer Science, 5407 .
9783540926870
10.1007/978-3-540-92687-0 doi
Computer science.
Information theory.
Algebra--Data processing.
Logic, Symbolic and mathematical.
Computer Science.
Mathematical Logic and Formal Languages.
Arithmetic and Logic Structures.
Symbolic and Algebraic Manipulation.
Theory of Computation.
Mathematical Logic and Foundations.
QA8.9-QA10.3
005.131