TY  - BOOK
AU  - Durand-Lose,Jerome
AU  - Nagy,Benedek
ED  - SpringerLink (Online service)
TI  - Machines, Computations, and Universality: 7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015, Proceedings 
T2  - Theoretical Computer Science and General Issues
SN  - 9783319231112
AV  - QA76.9.A43 
PY  - 2015///
CY  - Cham
PB  - Springer International Publishing, Imprint: Springer
KW  - Computer software
KW  - Computer science
KW  - Logic design
KW  - Computational complexity
KW  - Algorithm Analysis and Problem Complexity
KW  - Computation by Abstract Devices
KW  - Mathematical Logic and Formal Languages
KW  - Logics and Meanings of Programs
KW  - Discrete Mathematics in Computer Science
N2  - This book constitutes the refereed proceedings of the 7th International Conference on Machines, Computations, and Universality, MCU 2015, held in Famagusta, North Cyprus, in September 2015. The 10 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 23 submissions. MCU explores computation in the setting of various discrete models (Turing machines, register machines, cellular automata, tile assembly systems, rewriting systems, molecular computing models, neural models, etc.) and analog and hybrid models (BSS machines, infinite time cellular automata, real machines, quantum computing, etc.)
UR  - https://doi.org/10.1007/978-3-319-23111-2
ER  -