✦ LIBER ✦

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 510 || A specialized completion procedure for monadic string-rewriting systems presenting groups

✍ Scribed by Albert, Javier Leach; Monien, Burkhard; Artalejo, Mario Rodríguez

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Auto

✍ Albert, Javier Leach; Monien, Burkhard; Artalejo, Mario Rodríguez 📂 Article 📅 1991 🏛 Springer Berlin Heidelberg ⚖ 949 KB

[Lecture Notes in Computer Science] Auto

✍ Degano, Pierpaolo; Gorrieri, Roberto; Marchetti-Spaccamela, Alberto 📂 Article 📅 1997 🏛 Springer Berlin Heidelberg ⚖ 732 KB

[Lecture Notes in Computer Science] Auto

✍ Bakker, Jaco; Leeuwen, Jan 📂 Article 📅 1980 🏛 Springer Berlin Heidelberg ⚖ 744 KB

[Lecture Notes in Computer Science] Auto

✍ Albert, Javier Leach; Monien, Burkhard; Artalejo, Mario Rodríguez 📂 Article 📅 1991 🏛 Springer Berlin Heidelberg ⚖ 894 KB