Local Confluence for Rules with Nested Application Conditions
From MaRDI portal
Publication:4931325
DOI10.1007/978-3-642-15928-2_22zbMATH Open1306.68068OpenAlexW1852104647MaRDI QIDQ4931325FDOQ4931325
Authors: Hartmut Ehrig, Leen Lambers, Fernando Orejas, Ulrike Golas, Annegret Habel 
Publication date: 4 October 2010
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://depositonce.tu-berlin.de/handle/11303/11356
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)
- \(\mathcal 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
- String diagram rewrite theory III: Confluence with and without Frobenius
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)
