Closing the Gap Between Runtime Complexity and Polytime Complexity

Martin Avanzini and Georg Moser
Proceedings of the 21st International Conference on Rewriting Techniques and Applications (RTA 2010), Leibniz International Proceedings in Informatics 6, pp. 33 – 48, 2010.

abstract   BibTeX   PDF   doi:10.4230/LIPIcs.RTA.2010.33  
Creative Commons License – NC – ND