๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Relating confluence, innermost-confluence and outermost-confluence properties of term rewriting systems

โœ Scribed by M. R. K. Krishna Rao

Book ID
105700534
Publisher
Springer-Verlag
Year
1996
Tongue
English
Weight
698 KB
Volume
33
Category
Article
ISSN
0001-5903

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

Reachability and confluence are undecida
Reachability and confluence are undecidable for flat term rewriting systems
โœ Florent Jacquemard ๐Ÿ“‚ Article ๐Ÿ“… 2003 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 99 KB

Ground reachability, ground joinability and confluence are shown undecidable for flat term rewriting systems, i.e., systems in which all left and right members of rule have depth at most one.