TY - DATA AU - Durand-Lose,Jérôme AU - Margenstern,Maurice ED - SpringerLink (Online service) TI - Machines, Computations, and Universality: 5th International Conference, MCU 2007, Orléans, France, September 10-13, 2007. Proceedings SN - 9783540745938 AV - QA75.5 D87 2007 PY - 2007/// CY - Berlin, Heidelberg PB - Springer-Verlag Berlin Heidelberg KW - Computer science KW - Computer software KW - Logic design KW - Computer Science KW - Computation by Abstract Devices KW - Mathematical Logic and Formal Languages KW - Logics and Meanings of Programs KW - Algorithm Analysis and Problem Complexity UR - http://dx.doi.org/10.1007/978-3-540-74593-8 ER -