MCU C

13 papers

YearTitle / Authors
2015A Characterization of NP Within Interval-Valued Computing.
Benedek Nagy, Sándor Vályi
2015A Connection Between Red-Green Turing Machines and Watson-Crick T0L Systems.
Erzsébet Csuhaj-Varjú, Rudolf Freund, György Vaszil
2015An Intrinsically Universal Family of Causal Graph Dynamics.
Simon Martiel, Bruno Martin
2015Decidability Problems for Self-induced Systems Generated by a Substitution.
Timo Jolivet, Anne Siegel
2015Machines, Computations, and Universality - 7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015, Proceedings
Jérôme Durand-Lose, Benedek Nagy
2015Non-isometric Contextual Array Grammars with Regular Control and Local Selectors.
Henning Fernau, Rudolf Freund, Rani Siromoney, K. G. Subramanian
2015Reversible Limited Automata.
Martin Kutrib, Matthias Wendlandt
2015The Simulation Powers and Limitations of Hierarchical Self-Assembly Systems.
Jacob Hendricks, Matthew J. Patitz, Trent A. Rogers
2015Tight Bounds for Cut-Operations on Deterministic Finite Automata.
Frank Drewes, Markus Holzer, Sebastian Jakobi, Brink van der Merwe
2015Tinput-Driven Pushdown Automata.
Martin Kutrib, Andreas Malcher, Matthias Wendlandt
2015Towards Formal Verification of Computations and Hypercomputations in Relativistic Physics.
Mike Stannett
2015Universality in Infinite Petri Nets.
Dmitry A. Zaitsev
2015Universality of Graph-controlled Leftist Insertion-deletion Systems with Two States.
Sergiu Ivanov, Sergey Verlan