Assoc. Prof. Dr. Georg Moser   

Termination and Complexity

This pages collects references to materials used in the course on "Termination and Complexity" given at the 8th International School on Rewriting, August 10 -- August 14, 2015, HTWK Leipzig, Germany.