Modularity of Convergence in Infinitary Rewriting
From MaRDI portal
Publication:3636826
DOI10.1007/978-3-642-02348-4_13zbMath1242.68134OpenAlexW1501324300MaRDI QIDQ3636826
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
Related Items
Cites Work
- Infinitary rewriting: meta-theory and convergence
- Metric interpretations of infinite trees and semantics of non deterministic recursive programs
- Rewrite, rewrite, rewrite, rewrite, rewrite, \dots
- On modularity in infinitary term rewriting
- Normalization of Infinite Terms
- On the Church-Rosser property for the direct sum of term rewriting systems
- Rewriting Techniques and Applications
- Unnamed Item
- Unnamed Item
- Unnamed Item