Confluence for graph transformations

DOI10.1016/0304-3975(95)00007-0zbMath0872.68079OpenAlexW2095550907MaRDI QIDQ672753

Juan-Miguel Gracia

Publication date: 28 February 1997

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(95)00007-0

zbMATH Keywords

critical pairsconfluence theoremgraph rewriting systems

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Grammars and rewriting systems (68Q42)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On graph rewritings
• On ``On graph rewritings
• Deriving graphs from graphs by applying a production
• Graph expressions and graph rewritings
• Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
• Complete Sets of Reductions for Some Equational Theories
• Transformations of structures: An algebraic approach