A formalization of multi-tape Turing machines

Andrea Asperti, Wilmer Ricciotti

Research output: Contribution to journalArticlepeer-review

Search results