Language definitions as rewrite theories

Vlad Rusu, Dorel Lucanu, Traian-Florin Serbanuta, Andrei Arusoaie, Andrei Stefanescu, Grigore Rosu. Language definitions as rewrite theories. Journal of Logic and Algebraic Programming, 85(1):98-120, 2016. [doi]

Abstract

Abstract is missing.