


default search action
7th MCU 2015: Famagusta, North Cyprus
- Jérôme Durand-Lose, Benedek Nagy:

Machines, Computations, and Universality - 7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015, Proceedings. Lecture Notes in Computer Science 9288, Springer 2015, ISBN 978-3-319-23110-5
Invited Papers
- Timo Jolivet, Anne Siegel:

Decidability Problems for Self-induced Systems Generated by a Substitution. 3-16 - Mike Stannett

:
Towards Formal Verification of Computations and Hypercomputations in Relativistic Physics. 17-27
Regular Papers
- Erzsébet Csuhaj-Varjú, Rudolf Freund, György Vaszil:

A Connection Between Red-Green Turing Machines and Watson-Crick T0L Systems. 31-44 - Frank Drewes, Markus Holzer

, Sebastian Jakobi, Brink van der Merwe:
Tight Bounds for Cut-Operations on Deterministic Finite Automata. 45-60 - Henning Fernau

, Rudolf Freund, Rani Siromoney, K. G. Subramanian:
Non-isometric Contextual Array Grammars with Regular Control and Local Selectors. 61-78 - Sergiu Ivanov, Sergey Verlan

:
Universality of Graph-controlled Leftist Insertion-deletion Systems with Two States. 79-93 - Martin Kutrib

, Andreas Malcher
, Matthias Wendlandt:
Tinput-Driven Pushdown Automata. 94-112 - Martin Kutrib

, Matthias Wendlandt:
Reversible Limited Automata. 113-128 - Simon Martiel, Bruno Martin

:
An Intrinsically Universal Family of Causal Graph Dynamics. 129-148 - Jacob Hendricks, Matthew J. Patitz

, Trent A. Rogers
:
The Simulation Powers and Limitations of Hierarchical Self-Assembly Systems. 149-163 - Benedek Nagy, Sándor Vályi:

A Characterization of NP Within Interval-Valued Computing. 164-179 - Dmitry A. Zaitsev

:
Universality in Infinite Petri Nets. 180-197

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














