Graph path orderings
From MaRDI portal
Publication:5222963
Recommendations
Cited in
(9)- From linear term rewriting to graph rewriting with preservation of termination
- Termination of graph transformation systems using weighted subgraph counting
- An improved general path order
- Unification of drags and confluence of drag rewriting
- scientific article; zbMATH DE number 7379291 (Why is no real title available?)
- Improving associative path orderings
- Drags: a compositional algebraic framework for graph rewriting
- Patch graph rewriting
- scientific article; zbMATH DE number 15461 (Why is no real title available?)
This page was built for publication: Graph path orderings
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5222963)