✦ LIBER ✦

[Lecture Notes in Computer Science] Rewriting Techniques and Applications Volume 202 || Deciding algebraic properties of monoids presented by finite church-rosser Thue systems

✍ Scribed by Jouannaud, Jean-Pierre

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Rewr

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

[Lecture Notes in Computer Science] Rewr

✍ Nipkow, Tobias 📂 Article 📅 1998 🏛 Springer Berlin Heidelberg ⚖ 816 KB

[Lecture Notes in Computer Science] Math

✍ Chytil, M. P.; Koubek, V. 📂 Article 📅 1984 🏛 Springer-Verlag 🌐 German ⚖ 970 KB

[Lecture Notes in Computer Science] Rewr

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

[Lecture Notes in Computer Science] Rewr

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

[Lecture Notes in Computer Science] Rewr

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