Termination of Cycle Rewriting

DOI10.1007/978-3-319-08918-8_33zbMath1416.68095OpenAlexW2125782403MaRDI QIDQ5170838

H. J. Sander Bruggink, Barbara König, Hans Zantema

Publication date: 24 July 2014

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

Full work available at URL: https://doi.org/10.1007/978-3-319-08918-8_33

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items (4)

Termination of Cycle Rewriting by Transformation and Matrix Interpretation ⋮ Proving Termination of Graph Transformation Systems Using Weighted Type Graphs over Semirings ⋮ Unnamed Item ⋮ Unnamed Item

This page was built for publication: Termination of Cycle Rewriting