Book Details

Machines, Computations, and Universality

Publication year: 2005

ISBN: 978-3-540-31834-7

Internet Resource: Please Login to download book


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


Subject: 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