The Exact Hardness of Deciding Derivational and Runtime Complexity

Andreas Schnabl and Jakob Grue Simonsen
Proceedings of the 25th International Workshop on Computer Science Logic / 20th Annual Conference of the EACSL (CSL 2011), Leibniz International Proceedings in Informatics 12, pp. 481 – 495, 2011.

abstract   BibTeX   PDF   doi:10.4230/LIPIcs.CSL.2011.481  
Creative Commons License – NC – ND