Watson-Crick T0L Systems and Red-Green Register Machines
From MaRDI portal
Publication:4601150
DOI10.3233/FI-2017-1578zbMath1393.68050MaRDI QIDQ4601150
Rudolf Freund, Erzsébet Csuhaj-Varjú, György Vaszil
Publication date: 19 January 2018
Published in: Fundamenta Informaticae (Search for Journal in Brave)
decidability; membership problem; expressive power; red-green Turing machines; red-green register machines; Watson-Crick T0L systems
DB lookup for MSC labels failed