Simplicity via provability for universal prefix-free Turing machines (Englisch)
- Neue Suche nach: Calude, Cristian S.
- Neue Suche nach: Calude, Cristian S.
In:
Theoretical Computer Science
;
412
, 1-2
;
178-182
;
2010
-
ISSN:
- Aufsatz (Zeitschrift) / Elektronische Ressource
-
Titel:Simplicity via provability for universal prefix-free Turing machines
-
Beteiligte:Calude, Cristian S. ( Autor:in )
-
Erschienen in:Theoretical Computer Science ; 412, 1-2 ; 178-182
-
Verlag:
- Neue Suche nach: Elsevier B.V.
-
Erscheinungsdatum:01.01.2010
-
Format / Umfang:5 pages
-
ISSN:
-
DOI:
-
Medientyp:Aufsatz (Zeitschrift)
-
Format:Elektronische Ressource
-
Sprache:Englisch
-
Schlagwörter:
-
Datenquelle:
Inhaltsverzeichnis – Band 412, Ausgabe 1-2
Zeige alle Jahrgänge und Ausgaben
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 1
-
PrefaceWoods, Damien / Neary, Turlough / Seda, Anthony K. et al. | 2010
- 2
-
Communication complexity and intrinsic universality in cellular automataGoles, E. / Meunier, P.-E. / Rapaport, I. / Theyssier, G. et al. | 2010
- 22
-
Four states are enough!Ollinger, N. / Richard, G. et al. | 2010
- 33
-
A universal cellular automaton on the heptagrid of the hyperbolic plane with four statesMargenstern, Maurice et al. | 2010
- 57
-
Abstract geometrical computation 4: Small Turing universal signal machinesDurand-Lose, Jérôme et al. | 2010
- 68
-
A simple P-complete problem and its language-theoretic representationsOkhotin, Alexander et al. | 2010
- 83
-
Complexity of multi-head finite automata: Origins and directionsHolzer, Markus / Kutrib, Martin / Malcher, Andreas et al. | 2010
- 97
-
On the complex behavior of simple tag systems—An experimental approachDe Mol, Liesbeth et al. | 2010
- 113
-
Computing by observing: Simple systems and simple observersCavaliere, Matteo / Leupold, Peter et al. | 2010
- 124
-
On generalized communicating P systems with minimal interaction rulesCsuhaj-Varjú, Erzsébet / Verlan, Sergey et al. | 2010
- 136
-
P systems with minimal insertion and deletionAlhazov, Artiom / Krassovitskiy, Alexander / Rogozhin, Yurii / Verlan, Sergey et al. | 2010
- 145
-
Limitations of self-assembly at temperature 1Doty, David / Patitz, Matthew J. / Summers, Scott M. et al. | 2010
- 159
-
Self-assembly of infinite structures: A surveyPatitz, Matthew J. / Summers, Scott M. et al. | 2010
- 166
-
A divergence formula for randomness and dimensionLutz, Jack H. et al. | 2010
- 178
-
Simplicity via provability for universal prefix-free Turing machinesCalude, Cristian S. et al. | 2010
- 183
-
Computational processes, observers and Turing incompletenessSutner, Klaus et al. | 2010
- v
-
Editorial Board| 2010