✦ LIBER ✦

Modularity in term rewriting revisited

✍ Scribed by Gramlich, Bernhard

Book ID: 119375412
Publisher: Elsevier Science
Year: 2012
Tongue: English
Weight: 300 KB
Volume: 464
Category: Article
ISSN: 0304-3975
DOI: 10.1016/j.tcs.2012.09.008

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On modularity in infinitary term rewriti

On modularity in infinitary term rewriting

✍ Jakob Grue Simonsen 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 432 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

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

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

Modular termination of r-consistent and

Modular termination of r-consistent and left-linear term rewriting systems

✍ Manfred Schmidt-Schauß; Massimo Marchiori; Sven Eric Panitz 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 940 KB