Graph path orderings

DOI10.29007/6HKKMaRDI QIDQ5222963zbMATH OpenOpenAlexFDO

Authors Nachum Dershowitz, Jean-Pierre Jouannaud

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

multigraphsterminationcyclic graphsgraph rewritingpath orderingsrewrite orderings

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• scientific article; zbMATH DE number 1361503
• scientific article; zbMATH DE number 3905845
• Path orderings for termination of associative-commutative rewriting
• scientific article; zbMATH DE number 1183250
• A termination ordering for higher order rewrite systems

Cited in

(11)

• Improving associative path orderings
• scientific article; zbMATH DE number 15461 (Why is no real title available?)
• Patch graph rewriting
• Termination of graph transformation systems using weighted subgraph counting
• An improved general path order
• scientific article; zbMATH DE number 7379291 (Why is no real title available?)
• Termination of graph transformation systems via generalized weighted type graphs
• Unification of drags and confluence of drag rewriting
• Drags: a compositional algebraic framework for graph rewriting
• Termination of graph transformation systems using weighted subgraph counting
• From linear term rewriting to graph rewriting with preservation of termination

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)