A Note on Computation MTs with Time in Instructions or with Tapes of Fixed Length
From MaRDI portal
Publication:5859289
DOI10.17516/1997-1397-2021-14-1-69-73OpenAlexW3134163238MaRDI QIDQ5859289
Vladimir Vladimirovich Rybakov
Publication date: 16 April 2021
Published in: Journal of Siberian Federal University. Mathematics & Physics (Search for Journal in Brave)
Full work available at URL: http://mathnet.ru/eng/jsfu892
General logic (03Bxx) Proof theory and constructive mathematics (03Fxx) Computability and recursion theory (03Dxx) Nonstandard models (03Hxx)
Cites Work
This page was built for publication: A Note on Computation MTs with Time in Instructions or with Tapes of Fixed Length