✦ LIBER ✦

Congruential complements of ground term rewrite systems

✍ Scribed by Sándor Vágvölgyi

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Characterizing Confluence by Rewrite Clo

✍ Guillem Godoy; Ashish Tiwari; Rakesh Verma 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 252 KB

Decidability of the confluence of finite

✍ Max Dauchet; Thierry Heuillard; Pierre Lescanne; Sophie Tison 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 739 KB

On ground-confluence of term rewriting s

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

Derivation Trees of Ground Term Rewritin

✍ Joost Engelfriet 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 229 KB

The unification problem for confluent ri

✍ Michio Oyamaguchi; Yoshikatsu Ohta 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 275 KB

Undecidable properties of flat term rewr

✍ Guillem Godoy; Hugo Hernández 📂 Article 📅 2009 🏛 Springer 🌐 English ⚖ 234 KB