Confluence of indirection reductions in graph rewrite systems

DOI10.1016/0020-0190(88)90052-XzbMath0661.68094OpenAlexW2120325832MaRDI QIDQ1113692

P. M. van den Broek

Publication date: 1988

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0020-0190(88)90052-x

zbMATH Keywords

confluence propertygraph rewrite systemsindirection graphs

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items (1)

Geometric numerical integration applied to the elastic pendulum at higher-order resonance.

Cites Work

• Unnamed Item
• Unnamed Item
• The Mathematics of Record Handling
• A new implementation technique for applicative languages
• Tree-Manipulating Systems and Church-Rosser Theorems

This page was built for publication: Confluence of indirection reductions in graph rewrite systems