Modularity of Convergence and Strong Convergence in Infinitary Rewriting

DOI10.2168/LMCS-6(3:18)2010zbMath1214.68187MaRDI QIDQ2786135

Stefan Kahrs

Publication date: 21 September 2010

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

zbMATH Keywords

convergencemodularityinfinitary rewriting

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items (1)

Infinitary rewriting: closure operators, equivalences and models

This page was built for publication: Modularity of Convergence and Strong Convergence in Infinitary Rewriting