Local Confluence for Rules with Nested Application Conditions
From MaRDI portal
Recommendations
- Initial conflicts for transformation rules with nested application conditions
- Observable Confluence for Constraint Handling Rules
- Conditional rewrite rules: Confluence and termination
- Inference rules using local contexts
- Conditional confluence (system description)
- Local nested structure in Rule 30
- Formal Methods in Software and Systems Modeling
- Diagrammatic confluence for constraint handling rules
- On rule systems whose consistency can be locally maintained
- scientific article; zbMATH DE number 4090848
Cited in
(8)- String diagram rewrite theory III: Confluence with and without Frobenius
- M-adhesive transformation systems with nested application conditions. II: Embedding, critical pairs and local confluence
- Initial conflicts for transformation rules with nested application conditions
- Transformation rules with nested application conditions: critical pairs, initial conflicts \& minimality
- Analysis of graph transformation systems: native vs translation-based techniques
- Attributed graph transformation with inheritance: efficient conflict detection and local confluence analysis using abstract critical pairs
- Drags: a compositional algebraic framework for graph rewriting
- A generalized concurrent rule construction for double-pushout rewriting
This page was built for publication: Local Confluence for Rules with Nested Application Conditions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4931325)
