A formalization of multi-tape Turing machines

From MaRDI portal
Revision as of 10:24, 30 January 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:744986

DOI10.1016/J.TCS.2015.07.013zbMath1330.68065OpenAlexW2118758698WikidataQ56112363 ScholiaQ56112363MaRDI QIDQ744986

Andrea Asperti, Wilmer Ricciotti

Publication date: 12 October 2015

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2015.07.013




Related Items (4)


Uses Software



Cites Work




This page was built for publication: A formalization of multi-tape Turing machines