Login / Signup

Characterizing Complexity Classes by General Recursive Definitions in Higher Types

Andreas Goerdt
Published in: Inf. Comput. (1992)
Keyphrases