Unification of drags and confluence of drag rewriting

DOI10.1016/J.JLAMP.2022.100845MaRDI QIDQ2683036zbMATH OpenOpenAlexFDO

Authors Jean-Pierre Jouannaud, Fernando Orejas

Publication date 3 February 2023

Published in Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1016/j.jlamp.2022.100845

zbMATH Keywords

confluencedragsgraphsunification

Mathematics Subject Classification ID

Computer science (68-XX)

Recommendations

• Drags: a compositional algebraic framework for graph rewriting
• The unification problem for confluent right-ground term rewriting systems.
• scientific article; zbMATH DE number 1722710
• Processes, Terms and Cycles: Steps on the Road to Infinity
• Graph unification and matching

Cites work

• A Unification Algorithm for Associative-Commutative Functions
• AGREE -- algebraic graph rewriting with controlled embedding
• Completion of a Set of Rules Modulo a Set of Equations
• Confluence of graph rewriting with interfaces
• Confluence of layered rewrite systems
• Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
• Critical pairs in term graph rewriting
• Delaying Constraint Solving in Symbolic Graph Transformation
• Drags: a compositional algebraic framework for graph rewriting
• Efficient conflict detection in graph transformation systems by essential critical pairs
• Fundamentals of algebraic graph transformation
• Graph expressions and graph rewritings
• Graph path orderings
• Graph transformation, specifications, and nets. In memory of Hartmut Ehrig
• Graph unification and matching
• Handbook of Graph Grammars and Computing by Graph Transformation
• scientific article; zbMATH DE number 4160147 (Why is no real title available?)
• scientific article; zbMATH DE number 4049096 (Why is no real title available?)
• scientific article; zbMATH DE number 177418 (Why is no real title available?)
• scientific article; zbMATH DE number 599028 (Why is no real title available?)
• scientific article; zbMATH DE number 1142316 (Why is no real title available?)
• Initial conflicts and dependencies: critical pairs revisited
• Layer systems for proving confluence
• Linear unification
• On graph rewritings
• On the essence and initiality of conflicts in \(\mathcal{M} \)-adhesive transformation systems
• Processes, Terms and Cycles: Steps on the Road to Infinity
• Sesqui-Pushout Rewriting
• Strategic port graph rewriting: an interactive modelling framework
• Towards critical pair analysis for the graph programming language GP 2

Cited in

(2)

• A unified and composable take on ratcheting
• scientific article; zbMATH DE number 2043526 (Why is no real title available?)

Describes a project that uses

Uses Software

• AGREE

This page was built for publication: Unification of drags and confluence of drag rewriting

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2683036)