Small deterministic Turing machines (1996)

by Manfred Kudlek
Venue:Theoretical Computer Science