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

Characterizing Confluence by Rewrite Closure and Right Ground Term Rewrite Systems

โœ Scribed by Guillem Godoy; Ashish Tiwari; Rakesh Verma


Book ID
105867404
Publisher
Springer
Year
2004
Tongue
English
Weight
252 KB
Volume
15
Category
Article
ISSN
0938-1279

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


Reachability and confluence are undecida
โœ 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.