Term Rewriting Systems
Decidability
Jörg Endrullis
Vrije Universiteit Amsterdam
Start online slide show
Overview of Slides
Download slides with overlays
Download slides without overlays (for printing)