Basic Track

ISR 2019 – Basic Track


This site provides supporting material for the Basic Track – first order Term Rewriting of ISR 2019, the 11th International School on Rewriting, taught by Aart Middeldorp and Sarah Winkler.