default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID7th 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.
last updated on 2024-12-23 19:38 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
