A foundational delineation of computational feasiblity (1991)

by D Leivant
Venue:In Proceedings of the Sixth IEEE Symposium on Logic in Computer Science (LICS’91