✦ LIBER ✦

The Church-Rosser property in computer algebra and special theorem proving

✍ Scribed by Winkler, Franz

Book ID: 125547171
Publisher: Association for Computing Machinery
Year: 1984
Weight: 86 KB
Volume: 18
Category: Article
ISSN: 0163-5824
DOI: 10.1145/1089389.1089396

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The Church-Rosser property and special T

The Church-Rosser property and special Thue systems

✍ D. Kapur; P. Narendran; M.S. Krishnamoorthy; R. McNaughton 📂 Article 📅 1985 🏛 Elsevier Science 🌐 English ⚖ 615 KB

[Lecture Notes in Computer Science] Math

[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1984 Volume 176 || Thue systems and the Church-Rosser property

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

Algorithmic decidability of the Church-R

Algorithmic decidability of the Church-Rosser property in algebras of nondeterminate algorithms with closed logical conditions

✍ Yu. A. Yushchenko 📂 Article 📅 1982 🏛 Springer US 🌐 English ⚖ 498 KB

[Lecture Notes in Computer Science] Rewr

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

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

[Lecture Notes in Computer Science] Cond

[Lecture Notes in Computer Science] Conditional and Typed Rewriting Systems Volume 968 || Church-Rosser property and unique normal form property of non-duplicating term rewriting systems

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

[Lecture Notes in Computer Science] Alge

[Lecture Notes in Computer Science] Algebraic and Logic Programming Volume 343 || Proving inductive theorems based on term rewriting systems

✍ Grabowski, J.; Lescanne, P.; Wechler, W. 📂 Article 📅 1988 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 550 KB

This Volume Contains The Proceedings Of The First International Workshop On Algebraic And Logic Programming Held In Gaussig (german Democratic Republic) From November 14 To 18, 1988. The Workshop Was Devoted To Algebraic Programming, In The Sense Of Programming By Algebraic Specifications And Rewrit