Durand-Lose, Jérôme.
Machines, Computations, and Universality 5th International Conference, MCU 2007, Orléans, France, September 10-13, 2007. Proceedings / [electronic resource] : edited by Jérôme Durand-Lose, Maurice Margenstern. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2007. - digital. - Lecture Notes in Computer Science, 4664 0302-9743 ; . - Lecture Notes in Computer Science, 4664 .
9783540745938
10.1007/978-3-540-74593-8 doi
Computer science.
Computer software.
Logic design.
Computer Science.
Computation by Abstract Devices.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Algorithm Analysis and Problem Complexity.
QA75.5-76.95
004.0151
Machines, Computations, and Universality 5th International Conference, MCU 2007, Orléans, France, September 10-13, 2007. Proceedings / [electronic resource] : edited by Jérôme Durand-Lose, Maurice Margenstern. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2007. - digital. - Lecture Notes in Computer Science, 4664 0302-9743 ; . - Lecture Notes in Computer Science, 4664 .
9783540745938
10.1007/978-3-540-74593-8 doi
Computer science.
Computer software.
Logic design.
Computer Science.
Computation by Abstract Devices.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Algorithm Analysis and Problem Complexity.
QA75.5-76.95
004.0151