✦ LIBER ✦

Normalization properties for Shallow TRS and Innermost Rewriting

✍ Scribed by Guillem Godoy

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Relating confluence, innermost-confluenc

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

Relating confluence, innermost-confluenc

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

A polynomial algorithm for uniqueness of

✍ Julian Zinn; Rakesh M. Verma 📂 Article 📅 2010 🏛 Springer 🌐 English ⚖ 303 KB

A complete rewrite system and normal for

✍ Jean-Camille Birget; Stuart W. Margolis 📂 Article 📅 2002 🏛 Springer 🌐 English ⚖ 234 KB

[Lecture Notes in Computer Science] Cond

✍ Dershowitz, Nachum; Lindenstrauss, Naomi 📂 Article 📅 1995 🏛 Springer Berlin Heidelberg ⚖ 816 KB

[Lecture Notes in Computer Science] Rewr

✍ Comon, Hubert 📂 Article 📅 1997 🏛 Springer Berlin Heidelberg ⚖ 963 KB