A formalization of multi-tape Turing machines
Asperti, Andrea, Ricciotti, WilmerLanguage:
english
Journal:
Theoretical Computer Science
DOI:
10.1016/j.tcs.2015.07.013
Date:
July, 2015
File:
PDF, 1.10 MB
english, 2015