Margenstern, Maurice.
Machines, Computations, and Universality 4th International Conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004, Revised Selected Papers / [electronic resource] : edited by Maurice Margenstern. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. - digital. - Lecture Notes in Computer Science, 3354 0302-9743 ; . - Lecture Notes in Computer Science, 3354 .
9783540318347
10.1007/b106980 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 4th International Conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004, Revised Selected Papers / [electronic resource] : edited by Maurice Margenstern. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. - digital. - Lecture Notes in Computer Science, 3354 0302-9743 ; . - Lecture Notes in Computer Science, 3354 .
9783540318347
10.1007/b106980 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