Modularity of Convergence in Infinitary Rewriting

DOI10.1007/978-3-642-02348-4_13MaRDI QIDQ3636826zbMATH OpenOpenAlexFDO

Authors Stefan Michael Kahrs

Publication date 30 June 2009

Published in Rewriting Techniques and Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-02348-4_13

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• Modularity of convergence and strong convergence in infinitary rewriting
• On modularity in infinitary term rewriting
• Rewriting Techniques and Applications
• Modularity in term rewriting revisited
• scientific article; zbMATH DE number 1761895

Cites work

• scientific article; zbMATH DE number 48593 (Why is no real title available?)
• scientific article; zbMATH DE number 1388192 (Why is no real title available?)
• scientific article; zbMATH DE number 3212886 (Why is no real title available?)
• Infinitary rewriting: meta-theory and convergence
• Metric interpretations of infinite trees and semantics of non deterministic recursive programs
• Normalization of Infinite Terms
• On modularity in infinitary term rewriting
• On the Church-Rosser property for the direct sum of term rewriting systems
• Rewrite, rewrite, rewrite, rewrite, rewrite, \dots
• Rewriting Techniques and Applications

Cited in

(6)

• Infinitary rewriting: closure operators, equivalences and models
• On modularity in infinitary term rewriting
• Modularity of convergence and strong convergence in infinitary rewriting
• Weak Convergence and Uniform Normalization in Infinitary Rewriting
• Term Rewriting and Applications
• Rewriting Techniques and Applications

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3636826)