by Florian Frohn, Jürgen Giesl, Jera Hensel, Cornelius Aschermann, Thomas Ströder
Reference:
Inferring Lower Bounds for Runtime Complexity (Florian Frohn, Jürgen Giesl, Jera Hensel, Cornelius Aschermann, Thomas Ströder), Technical report, RWTH Aachen, 2015.
Bibtex Entry:
@TechReport{FrohnGieslHenselAschermannStroeder15, author = {Florian Frohn and J"urgen Giesl and Jera Hensel and Cornelius Aschermann and Thomas Str"oder}, title = {Inferring Lower Bounds for Runtime Complexity}, institution = {RWTH Aachen}, keywords = {Term Rewriting, Runtime Complexity, Lower Bounds, Induction}, year = {2015}, number = {AIB-2015-05}, month = {February}, url = {http://aib.informatik.rwth-aachen.de/2015/2015-05.pdf} }