Kennaway, Richard Implementing term rewrite languages in DACTL. (English) Zbl 0698.68013 Theor. Comput. Sci. 72, No. 2-3, 225-249 (1990). MSC: 68Q60 68Q65 03D03 68W30 PDFBibTeX XMLCite \textit{R. Kennaway}, Theor. Comput. Sci. 72, No. 2--3, 225--249 (1990; Zbl 0698.68013) Full Text: DOI
Kennaway, J. R. Implementing term rewrite languages in Dactl. (English) Zbl 0645.68018 Trees in algebra and programming, Proc. 13th Colloq. CAAP, Nancy/France 1988, Lect. Notes Comput. Sci. 299, 102-116 (1988). MSC: 68Q60 68Q55 68Q65 PDFBibTeX XML
Kennaway, Richard On “On graph rewritings”. (English) Zbl 0636.68028 Theor. Comput. Sci. 52, 37-58 (1987). MSC: 68Q65 18B20 PDFBibTeX XMLCite \textit{R. Kennaway}, Theor. Comput. Sci. 52, 37--58 (1987; Zbl 0636.68028) Full Text: DOI