Universal quantifiers and time complexity of random access machines (1985)

by E Grandjean
Venue:Mathematical System Theory