Processes, Terms and Cycles: Steps on the Road to Infinity

DOI10.1007/11601548zbMath1171.68517OpenAlexW2234185834MaRDI QIDQ5898161

Detlef Plump

Publication date: 13 November 2006

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11601548

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items (13)

String Diagram Rewrite Theory I: Rewriting with Frobenius Structure ⋮ Confluence up to Garbage ⋮ Patch Graph Rewriting ⋮ Graph Consistency as a Graduated Property ⋮ Unification of drags and confluence of drag rewriting ⋮ Attributed graph transformation with inheritance: efficient conflict detection and local confluence analysis using abstract critical pairs ⋮ Parallel rewriting of attributed graphs ⋮ Embedding and Confluence of Graph Transformations with Negative Application Conditions ⋮ High-Level Programs and Program Conditions ⋮ Strong Joinability Analysis for Graph Transformation Systems in CHR ⋮ On the essence and initiality of conflicts in \(\mathcal{M} \)-adhesive transformation systems ⋮ Confluence up to garbage in graph transformation ⋮ Transformation rules with nested application conditions: critical pairs, initial conflicts \& minimality

This page was built for publication: Processes, Terms and Cycles: Steps on the Road to Infinity