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.
- 1a ed.
- Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007.
- v.: digital
- Lecture Notes in Computer Science, 4664 0302-9743 ; .
9783540745938
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