Non-deterministic halting times for Hamkins-Kidder turing machines

Research output: Contribution to journalArticle (Academic Journal)peer-review

Fingerprint

Dive into the research topics of 'Non-deterministic halting times for Hamkins-Kidder turing machines'. Together they form a unique fingerprint.

Mathematics

Engineering

Computer Science