Report - Term Rewriting Systems - MIT OpenCourseWare · Rewriting One-step rewriting → Application of one rule in a context Multiple-step rewriting t ≡?t1?→ ?t2 → ?...→ ?tn ≡?s

Select PornographicDefamatoryIllegal/UnlawfulSpamOther Terms Of Service ViolationFile a copyright complaint

Please pass captcha verification before submit form