✦ LIBER ✦

[Lecture Notes in Computer Science] Conditional Term Rewriting Systems Volume 656 || Decidability of finiteness properties

✍ Scribed by Rusinowitch, Michaël; Rémy, Jean-Luc

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Cond

✍ Kaplan, S.; Okada, M. 📂 Article 📅 1991 🏛 Springer Berlin Heidelberg ⚖ 926 KB

[Lecture Notes in Computer Science] Cond

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

[Lecture Notes in Computer Science] Rewr

✍ Jouannaud, Jean-Pierre 📂 Article 📅 1985 🏛 Springer Berlin Heidelberg ⚖ 742 KB

[Lecture Notes in Computer Science] High

✍ Heering, Jan; Meinke, Karl; Möller, Bernhard; Nipkow, Tobias 📂 Article 📅 1994 🏛 Springer Berlin Heidelberg ⚖ 946 KB

[Lecture Notes in Computer Science] Rewr

✍ Dershowitz, Nachum 📂 Article 📅 1989 🏛 Springer Berlin Heidelberg ⚖ 634 KB

[Lecture Notes in Computer Science] Rewr

✍ Lescanne, Pierre 📂 Article 📅 1987 🏛 Springer Berlin Heidelberg ⚖ 588 KB