𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Decidability of the confluence of finite ground term rewrite systems and of other related term rewrite systems

✍ Scribed by Max Dauchet; Thierry Heuillard; Pierre Lescanne; Sophie Tison

Book ID
113383938
Publisher
Elsevier Science
Year
1990
Tongue
English
Weight
739 KB
Volume
88
Category
Article
ISSN
0890-5401

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

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