Unification of drags and confluence of drag rewriting
From MaRDI portal
Publication:2683036
DOI10.1016/j.jlamp.2022.100845OpenAlexW4287347076MaRDI QIDQ2683036
Fernando Orejas, Jean-Pierre Jouannaud
Publication date: 3 February 2023
Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jlamp.2022.100845
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- On graph rewritings
- Linear unification
- Graph transformation, specifications, and nets. In memory of Hartmut Ehrig
- Initial conflicts and dependencies: critical pairs revisited
- On the essence and initiality of conflicts in \(\mathcal{M} \)-adhesive transformation systems
- Drags: a compositional algebraic framework for graph rewriting
- Fundamentals of algebraic graph transformation
- Layer Systems for Proving Confluence
- AGREE – Algebraic Graph Rewriting with Controlled Embedding
- Confluence of Graph Rewriting with Interfaces
- Sesqui-Pushout Rewriting
- Graph expressions and graph rewritings
- Completion of a Set of Rules Modulo a Set of Equations
- Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
- A Unification Algorithm for Associative-Commutative Functions
- Handbook of Graph Grammars and Computing by Graph Transformation
- Strategic port graph rewriting: an interactive modelling framework
- Graph unification and matching
- Delaying Constraint Solving in Symbolic Graph Transformation
- Critical pairs in term graph rewriting
- Towards Critical Pair Analysis for the Graph Programming Language GP 2
- Graph Path Orderings
- Confluence of layered rewrite systems
- Efficient Conflict Detection in Graph Transformation Systems by Essential Critical Pairs
- Processes, Terms and Cycles: Steps on the Road to Infinity
This page was built for publication: Unification of drags and confluence of drag rewriting
