Publication year: 2005
: 978-3-540-31834-7
Constitutes the post-proceedings of the 4th International Conference on Machines, Computations, and Universality, MCU 2004, held in St Petersburg, Russia in September 2004. This book covers a variety of foundational aspects in theoretical computer science such as cellular automata, molecular computing, quantum computing, and formal languages
: Computer Science, Erfüllbarkeitsproblem der Aussagenlogik, Monoid, P systems, algorithms, automata, cellular automata, complexity, formal language, logic, natural computing, ramdomness, theoretical computer science, theory of computing, turing machines, universality