Ehrig, Hartmut; Taentzer, Gabriele Compugraph II: A survey of research goals and main results. (English) Zbl 1030.68569 Bull. EATCS 57, 85-95 (1995). MSC: 68R10 68Q42 68Q45 68Q60 68Q85 PDFBibTeX XMLCite \textit{H. Ehrig} and \textit{G. Taentzer}, Bull. EATCS 57, 85--95 (1995; Zbl 1030.68569)
Courcelle, Bruno Graph grammars, monadic second-order logic and the theory of graph minors. (English) Zbl 0757.68072 Bull. EATCS 46, 193-226 (1992). MSC: 68Q42 03B15 PDFBibTeX XMLCite \textit{B. Courcelle}, Bull. EATCS 46, 193--226 (1992; Zbl 0757.68072)
Courcelle, Bruno Some applications of logic, of universal algebra, and of category theory to the theory of graph transformations. (English) Zbl 0679.68135 Bull. EATCS 36, 161-218 (1988). Reviewer: C.Dimitrovici MSC: 68Q45 18C05 03C05 68Q65 03D03 03B15 18A15 18C10 PDFBibTeX XMLCite \textit{B. Courcelle}, Bull. EATCS 36, 161--218 (1988; Zbl 0679.68135)