✦ 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
DOI: 10.1016/j.ic.2006.02.005

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Modularity in term rewriting revisited

✍ Gramlich, Bernhard 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 300 KB

Highlights in infinitary rewriting and l

Highlights in infinitary rewriting and lambda calculus

✍ Endrullis, Jörg; Hendriks, Dimitri; Klop, Jan Willem 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 982 KB

Modular term rewriting systems and the t

Modular term rewriting systems and the termination

✍ Masahito Kurihara; Ikuo Kaji 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 313 KB

On the Modularity of Normal Forms in Rew

On the Modularity of Normal Forms in Rewriting

✍ 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

Modularity of simple termination of term

Modularity of simple termination of term rewriting systems with shared constructors

✍ Masahito Kurihara; Azuma Ohuchi 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 640 KB

Modular Rewriting Semantics in Practice

✍ Christiano Braga; José Meseguer 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 417 KB