On termination of graph rewriting

DOI10.1007/3-540-60618-1_68OpenAlexW1501947878MaRDI QIDQ6122214

Detlef Plump

Publication date: 28 February 2024

Published in: Graph-Theoretic Concepts in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-60618-1_68

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items

Proving Termination of Graph Transformation Systems Using Weighted Type Graphs over Semirings, Towards Local Confluence Analysis for Amalgamated Graph Transformation

Cites Work

• Hyperedge replacement jungle rewriting for term-rewriting systems and logic programming
• Termination of rewriting
• Implementing term rewriting by jungle evaluation
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item