Single pushout graph rewriting
From Wikipedia, the free encyclopedia
In computer science, a single pushout graph rewriting or SPO graph rewriting refers to a mathematical framework for graph rewriting, and is used in contrast to the double-pushout approach of graph rewriting.
 | This article needs additional citations for verification. (September 2016) |
References
Further reading
Wikiwand - on
Seamless Wikipedia browsing. On steroids.