Graph expressions and graph rewritings

@article{Bauderon1987GraphEA,
  title={Graph expressions and graph rewritings},
  author={Michel Bauderon and Bruno Courcelle},
  journal={Mathematical systems theory},
  year={1987},
  volume={20},
  pages={83-127}
}
We define an algebraic structure for the set of finite graphs, a notion of graph expression for defining them, and a complete set of equational rules for manipulating graph expressions. (By agraph we mean an oriented hypergraph, the hyperedges of which are labeled with symbols from a fixed finite ranked alphabet and that is equipped with a finite sequence of distinguished vertices). The notion of a context-free graph grammar is introduced (based on the substitution of a graph for a hyperedge in… CONTINUE READING
Highly Influential
This paper has highly influenced 25 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS

Citations

Publications citing this paper.
Showing 1-10 of 137 extracted citations

References

Publications referenced by this paper.

Théorie des magmoïdes

View 8 Excerpts
Highly Influenced

Similar Papers

Loading similar papers…