Meseguer, José Twenty years of rewriting logic. (English) Zbl 1267.03043 J. Log. Algebr. Program. 81, No. 7-8, 721-781 (2012). Reviewer: Johan Georg Granström (Zürich) MSC: 03B70 68Q42 PDFBibTeX XMLCite \textit{J. Meseguer}, J. Log. Algebr. Program. 81, No. 7--8, 721--781 (2012; Zbl 1267.03043) Full Text: DOI
Bruni, Roberto; Meseguer, José Semantic foundations for generalized rewrite theories. (English) Zbl 1097.68051 Theor. Comput. Sci. 360, No. 1-3, 386-414 (2006). MSC: 68Q42 68Q55 68Q85 03B70 03C05 PDFBibTeX XMLCite \textit{R. Bruni} and \textit{J. Meseguer}, Theor. Comput. Sci. 360, No. 1--3, 386--414 (2006; Zbl 1097.68051) Full Text: DOI
Martí-Oliet, Narciso; Meseguer, José Rewriting logic: Roadmap and bibliography. (English) Zbl 1027.68613 Theor. Comput. Sci. 285, No. 2, 121-154 (2002). MSC: 68Q42 PDFBibTeX XMLCite \textit{N. Martí-Oliet} and \textit{J. Meseguer}, Theor. Comput. Sci. 285, No. 2, 121--154 (2002; Zbl 1027.68613) Full Text: DOI