Assoc. Prof. Dr. Georg Moser   

Automated Complexity Analysis of Term Rewrite Systems

This pages collects references to materials used in the course on "Automated Complexity Analysis of Term Rewrite Systems" given at the 6th International School on Rewriting, July 16 -- July 20, 2012, Universitat Politècnica de València, Valencia, Spain