Complexity Analysis by Graph Rewriting

Martin Avanzini and Georg Moser
Proceedings of the 10th International Symposium on Functional and Logic Programming (FLOPS 2010), Lecture Notes in Computer Science 6009, pp. 257 – 271, 2010.

abstract   BibTeX   PDF   doi:10.1007/978-3-642-12251-4_19  
© Springer