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
Meseguer, José; Montanari, Ugo Mapping tile logic into rewriting logic. (English) Zbl 0903.08010 Parisi Presicce, Francesco (ed.), Recent trends in algebraic development techniques. 12th international workshop, WADT ’97, Tarquinia, Italy, June 3–7, 1997. Selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 1376, 62-91 (1998). MSC: 08A70 68Q65 18C10 68Q10 68Q55 18D05 18D10 PDFBibTeX XMLCite \textit{J. Meseguer} and \textit{U. Montanari}, Lect. Notes Comput. Sci. 1376, 62--91 (1998; Zbl 0903.08010)