Report copyright - Revisiting Term-Rewriting in Algebraksda.ccny.cuny.edu/PostedPapers/Sit021315.pdfA term-rewriting system is a set of term-rewriting rules, which are pairs of terms (‘;r), written
Please pass captcha verification before submit form