✦ LIBER ✦

[Lecture Notes in Computer Science] Rewriting Techniques and Applications Volume 355 || Restrictions of congruences generated by finite canonical string-rewriting systems

✍ Scribed by Dershowitz, Nachum

Book ID: 121079438
Publisher: Springer Berlin Heidelberg
Year: 1989
Weight: 634 KB
Category: Article
ISBN: 3540461493
DOI: 10.1007/3-540-51081-8_119

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Rewr

[Lecture Notes in Computer Science] Rewriting Techniques and Applications Volume 256 || Groups presented by certain classes of finite length-reducing string-rewriting systems

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

[Lecture Notes in Computer Science] Rewr

[Lecture Notes in Computer Science] Rewriting Techniques and Applications Volume 256 || The word problem for finitely presented monoids and finite canonical rewriting systems

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

[Lecture Notes in Computer Science] Rewr

[Lecture Notes in Computer Science] Rewriting Techniques and Applications Volume 1232 || On the property of preserving regularity for string-rewriting systems

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

[Lecture Notes in Computer Science] Logi

[Lecture Notes in Computer Science] Logic Programming and Automated Reasoning Volume 624 || Infinite, canonical string rewriting systems generated by completion

✍ Voronkov, Andrei 📂 Article 📅 1992 🏛 Springer-Verlag 🌐 German ⚖ 825 KB

This volume contains the proceedings of LPAR '92, the international conference on logic programming and automated reasoning held in St. Petersburg in July 1992. The aim of the conference was to bring together researchers from the Russian and the international logic programming and theorem proving co

[Lecture Notes in Computer Science] Rewr

[Lecture Notes in Computer Science] Rewriting Techniques and Applications Volume 256 || Code generator generation based on template-driven target term rewriting

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

[Lecture Notes in Computer Science] Rewr

[Lecture Notes in Computer Science] Rewriting Techniques and Applications Volume 1103 || Design of a proof assistant

✍ Ganzinger, Harald 📂 Article 📅 1996 🏛 Springer Berlin Heidelberg ⚖ 20 KB