Machines, Computations, and Universality
| ISBN: | 9783540252610 |
|---|---|
| Sprache: | Englisch |
| Seitenzahl: | 328 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Margenstern, Maurice |
| Verlag: | Springer Berlin |
| Veröffentlicht: | 08.03.2005 |
| Untertitel: | 4th International Conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004, Revised Selected Papers |
| Schlagworte: | Erfüllbarkeitsproblem der Aussagenlogik Monoid P systems algorithms automata cellular automata complexity formal language logic natural computing |