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.
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.