Graph path orderings

DOI10.29007/6HKKzbMATH Open1415.68116OpenAlexW2907937870MaRDI QIDQ5222963FDOQ5222963

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

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

zbMATH Keywords

multigraphsterminationcyclic graphsgraph rewritingpath orderingsrewrite orderings

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Cited In (9)

• Improving associative path orderings
• Title not available (Why is that?)
• An improved general path order
• Title not available (Why is that?)
• Patch Graph Rewriting
• 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)