×

zbMATH — the first resource for mathematics

Complete axiomatization of an algebraic construction of graphs. (English) Zbl 1122.68483
Kameyama, Yukiyoshi (ed.) et al., Functional and logic programming. 7th international symposium, FLOPS 2004, Nara, Japan, April 7–9, 2004. Proceedings. Berlin: Springer (ISBN 3-540-21402-X/pbk). Lecture Notes in Computer Science 2998, 163-179 (2004).
Summary: This paper presents a complete (infinite) axiomatization for an algebraic construction of graphs, in which a finite fragment denotes the class of graphs with bounded tree width.
For the entire collection see [Zbl 1048.68005].
Reviewer: Reviewer (Berlin)
MSC:
68R10 Graph theory (including graph drawing) in computer science
68Q42 Grammars and rewriting systems
PDF BibTeX XML Cite
Full Text: DOI