Graph Path Orderings

DOI10.29007/6hkkzbMath1415.68116OpenAlexW2907937870MaRDI QIDQ5222963

Jean-Pierre Jouannaud, Nachum Dershowitz

Publication date: 4 July 2019

Published in: EPiC Series in Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.29007/6hkk

zbMATH Keywords

graph rewritingmultigraphsterminationcyclic graphspath orderingsrewrite orderings

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items

Patch Graph Rewriting, Drags: a compositional algebraic framework for graph rewriting, Unification of drags and confluence of drag rewriting, Unnamed Item