Introduction to Term Rewriting

This site provides additional material for the Introduction to Term Rewriting lecture series at ISR 2010.