Descriptive characterizations of computational complexity (1989)

by Daniel Leivant
Venue:Journal of Computer and System Sciences