Reilles, Antoine Canonical abstract syntax trees. (English) Zbl 1279.68070 Denker, Grit (ed.) et al., Proceedings of the 6th international workshop on rewriting logic and its applications (WRLA 2006), Vienna, Austria, April 1–2, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 176, No. 4, 165-179 (2007). MSC: 68P05 68Q42 68R10 PDFBibTeX XMLCite \textit{A. Reilles}, Electron. Notes Theor. Comput. Sci. 176, No. 4, 165--179 (2007; Zbl 1279.68070) Full Text: DOI
Cirstea, Horatiu; Faure, Germain; Kirchner, Claude A \(\rho\)-calculus of explicit constraint application. (English) Zbl 1115.68094 High.-Order Symb. Comput. 20, No. 1-2, 37-72 (2007). MSC: 68Q42 PDFBibTeX XMLCite \textit{H. Cirstea} et al., High.-Order Symb. Comput. 20, No. 1--2, 37--72 (2007; Zbl 1115.68094) Full Text: DOI Link