Fülöp, Zoltán; Vágvölgyi, Sándor Ground term rewriting rules for the word problem of ground term equations. (English) Zbl 0757.68069 Bull. EATCS 45, 186-201 (1991). MSC: 68Q42 68Q05 68T15 PDFBibTeX XMLCite \textit{Z. Fülöp} and \textit{S. Vágvölgyi}, Bull. EATCS 45, 186--201 (1991; Zbl 0757.68069)
Postma, Stef W. The \(\Sigma{}\lambda\)-calculus and derived program forms. (English) Zbl 0741.03005 Quaest. Math. 14, No. 2, 137-159 (1991). MSC: 03B40 68Q10 03B70 68N01 03B50 PDFBibTeX XMLCite \textit{S. W. Postma}, Quaest. Math. 14, No. 2, 137--159 (1991; Zbl 0741.03005) Full Text: DOI
Ehrig, Hartmut; Parisi-Presicce, Francesco Algebraic specification grammars: A junction between module specifications and graph grammars. (English) Zbl 0765.68087 Graph grammars and their application to computer science, Proc. 4th Int. Workshop, Bremen/Ger. 1990, Lect. Notes Comput. Sci. 532, 292-310 (1991). MSC: 68Q42 68Q60 PDFBibTeX XMLCite \textit{H. Ehrig} and \textit{F. Parisi-Presicce}, Lect. Notes Comput. Sci. 532, 292--310 (1991; Zbl 0765.68087)
Ehrig, Hartmut; Habel, Annegret; Parisi-Presicce, Francesco From graph grammars to high level replacement systems. (English) Zbl 0765.68088 Graph grammars and their application to computer science, Proc. 4th Int. Workshop, Bremen/Ger. 1990, Lect. Notes Comput. Sci. 532, 269-291 (1991). MSC: 68Q42 68Q60 PDFBibTeX XMLCite \textit{H. Ehrig} et al., Lect. Notes Comput. Sci. 532, 269--291 (1991; Zbl 0765.68088)