Courcelle, Bruno Graph rewriting: An algebraic and logic approach. (English) Zbl 0900.68282 van Leeuwen, Jan (ed.), Formal models and semantics. Handbook of theoretical computer science. Vol. B. Amsterdam etc.: Elsevier. 193-242 (1990). For the entire collection see [Zbl 0714.68001]. Cited in 4 ReviewsCited in 130 Documents MSC: 68Q42 Grammars and rewriting systems 68R10 Graph theory (including graph drawing) in computer science PDF BibTeX XML Cite \textit{B. Courcelle}, in: Formal models and semantics. Handbook of theoretical computer science. Vol. B. Amsterdam etc.: Elsevier. 193--242 (1990; Zbl 0900.68282) OpenURL