✦ LIBER ✦

Remarks on Thatte’s transformation of term rewriting systems

✍ Scribed by Bas Luttik; Piet Rodenburg; Rakesh Verma

Book ID: 113641492
Publisher: Elsevier Science
Year: 2004
Tongue: English
Weight: 276 KB
Volume: 195
Category: Article
ISSN: 0890-5401
DOI: 10.1016/j.ic.2003.09.006

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On ground-confluence of term rewriting s

On ground-confluence of term rewriting systems

✍ Deepak Kapur; Paliath Narendran; Friedrich Otto 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 983 KB

Complexity analysis of term-rewriting sy

Complexity analysis of term-rewriting systems

✍ C. Choppy; S. Kaplan; M. Soria 📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 659 KB

Confluence of Curried Term-Rewriting Sys

Confluence of Curried Term-Rewriting Systems

✍ Stefan Kahrs 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 721 KB

Term rewriting systems operate on first-order terms. Presenting such terms in curried form is usually regarded as a trivial change of notation. However, in the absence of a type-discipline, or in the presence of a more powerful type-discipline than simply typed \(\lambda\)-calculus, the change is no

Determinization of conditional term rewr

Determinization of conditional term rewriting systems

✍ Nagashima, Masanori; Sakai, Masahiko; Sakabe, Toshiki 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 591 KB

Remarks on Schulze's System of Descripti

Remarks on Schulze's System of Descriptive Terms

✍ Alpheus Hyatt 📂 Article 📅 1894 🏛 University of Chicago Press 🌐 English ⚖ 874 KB

On termination of the direct sum of term

On termination of the direct sum of term-rewriting systems

✍ Michael Rusinowitch 📂 Article 📅 1987 🏛 Elsevier Science 🌐 English ⚖ 619 KB