Report - Informe T ecnico / Technical Report...We follow the classical notation and terminology from [29] for term rewriting and from [19,20] for rewriting logic. We assume an unsorted signature

Select PornographicDefamatoryIllegal/UnlawfulSpamOther Terms Of Service ViolationFile a copyright complaint

Please pass captcha verification before submit form