Modes of Convergence for Term Graph Rewriting

DOI10.2168/LMCS-8(2:6)2012zbMath1238.68166OpenAlexW2764235762WikidataQ58061608 ScholiaQ58061608MaRDI QIDQ2888507

P. Bähr

Publication date: 1 June 2012

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2168/lmcs-8(2:6)2012

zbMATH Keywords

metricgraph rewritingpartial orderinfinitary rewritingterm graphs

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items (1)

Convergence in infinitary term graph rewriting systems is simple

This page was built for publication: Modes of Convergence for Term Graph Rewriting