𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On modularity in infinitary term rewriting

✍ Scribed by Jakob Grue Simonsen


Book ID
113641630
Publisher
Elsevier Science
Year
2006
Tongue
English
Weight
432 KB
Volume
204
Category
Article
ISSN
0890-5401

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


On the Modularity of Normal Forms in Rew
✍ MASSIMO MARCHIORI πŸ“‚ Article πŸ“… 1996 πŸ› Elsevier Science 🌐 English βš– 522 KB

The last open problem regarding the modularity of the fundamental properties of Term Rewriting Systems concerns the property of uniqueness of normal forms w.r.t. reduction (UN β†’ ). In this article we solve this open problem, showing that UN β†’ is modular for leftlinear Term Rewriting Systems. The nov

Modular Rewriting Semantics in Practice
✍ Christiano Braga; JosΓ© Meseguer πŸ“‚ Article πŸ“… 2005 πŸ› Elsevier Science 🌐 English βš– 417 KB