ALOGTIME and a conjecture of S.A (1992)

by Peter Clote
Venue:Cook, Annals of Mathematics and Artificial Intelligence