Single pushout graph rewriting

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.


© MMXXIII Rich X Search. We shall prevail. All rights reserved. Rich X Search