Löwe, Benedikt.
Models of Computation in Context 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011. Proceedings / [electronic resource] : edited by Benedikt Löwe, Dag Normann, Ivan Soskov, Alexandra Soskova. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. - digital. - Lecture Notes in Computer Science, 6735 0302-9743 ; . - Lecture Notes in Computer Science, 6735 .
9783642218750
10.1007/978-3-642-21875-0 doi
Computer science.
Computer software.
Computational complexity.
Algebra--Data processing.
Logic, Symbolic and mathematical.
Computer Science.
Computation by Abstract Devices.
Algorithm Analysis and Problem Complexity.
Discrete Mathematics in Computer Science.
Symbolic and Algebraic Manipulation.
Mathematical Logic and Foundations.
QA75.5-76.95
004.0151
Models of Computation in Context 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011. Proceedings / [electronic resource] : edited by Benedikt Löwe, Dag Normann, Ivan Soskov, Alexandra Soskova. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. - digital. - Lecture Notes in Computer Science, 6735 0302-9743 ; . - Lecture Notes in Computer Science, 6735 .
9783642218750
10.1007/978-3-642-21875-0 doi
Computer science.
Computer software.
Computational complexity.
Algebra--Data processing.
Logic, Symbolic and mathematical.
Computer Science.
Computation by Abstract Devices.
Algorithm Analysis and Problem Complexity.
Discrete Mathematics in Computer Science.
Symbolic and Algebraic Manipulation.
Mathematical Logic and Foundations.
QA75.5-76.95
004.0151