Local Confluence for Rules with Nested Application Conditions

DOI10.1007/978-3-642-15928-2_22zbMath1306.68068OpenAlexW1852104647MaRDI QIDQ4931325

Leen Lambers, Fernando Orejas, Hartmut Ehrig, 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

zbMATH Keywords

critical pairslocal confluencenested application conditions

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items (7)

Initial Conflicts for Transformation Rules with Nested Application Conditions ⋮ Drags: a compositional algebraic framework for graph rewriting ⋮ Attributed graph transformation with inheritance: efficient conflict detection and local confluence analysis using abstract critical pairs ⋮ Unnamed Item ⋮ Transformation rules with nested application conditions: critical pairs, initial conflicts \& minimality ⋮ 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