nite time Turing machines (0)

by J D Hamkins, A Lewis, In
Venue:J. Symbolic Logic