✦ 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
DOI: 10.1007/s00200-004-0148-6

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Relating confluence, innermost-confluenc

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

✍ M. R. K. Krishna Rao 📂 Article 📅 1996 🏛 Springer-Verlag 🌐 English ⚖ 698 KB

Relating confluence, innermost-confluenc

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

✍ M.R.K. Krishna Rao 📂 Article 📅 1996 🏛 Springer-Verlag 🌐 English ⚖ 145 KB

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.