Calibrating Computational Feasibility by Abstraction Rank.

Daniel Leivant

Browse the full LICS paper archive.