Includes supplementary material: sn.pub/extras
Cristian Calude
Cellular Computing Computer Computing Theory DNA Computing Hardware Mebrane Computing Molecular Computing Natural Computing Quantum Computing Theoretical Informatics automata calculus complexity optimization verification