Florian Frohn. Automated complexity analysis of rewrite systems. PhD thesis, RWTH Aachen University, Germany, 2018. [doi]
@phdthesis{dnb-21743, title = {Automated complexity analysis of rewrite systems}, author = {Florian Frohn}, year = {2018}, url = {http://d-nb.info/1187346721}, researchr = {https://researchr.org/publication/dnb-21743}, cites = {0}, citedby = {0}, school = {RWTH Aachen University, Germany}, }