Characterizing complexity classes by higher type primitive recursive definitions

• Authors:

• A. Goerdt

• Affiliations:

• -

• Venue:
• Proceedings of the Fourth Annual Symposium on Logic in computer science
• Year:
• 1989