Graph Path Orderings
From MaRDI portal
Publication:5222963
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
Related Items
Patch Graph Rewriting, Drags: a compositional algebraic framework for graph rewriting, Unification of drags and confluence of drag rewriting, Unnamed Item