Characterizing complexity classes by higher type primitive recursive definitions, Part II (1990)

by A Goerdt, H Seidl
Venue:In Aspects and prospects of theoretical computer science, Volume 464 of Lecture Notes in Computer Science