Term Rewriting Systems
Decidability

Jörg Endrullis
Vrije Universiteit Amsterdam