✦ LIBER ✦

An Abstract Form of the Church-Rosser Theorem. I

✍ Scribed by R. Hindley

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Simplified Proof of the Church–Rosser

✍ Yuichi Komori, Naosuke Matsuda, Fumika Yamakawa 📂 Article 📅 2013 🏛 Springer Netherlands 🌐 English ⚖ 171 KB

An Informal Exposition of Proofs of Göde

✍ Review by: Evert Beth 📂 Article 📅 1939 🏛 Association for Symbolic Logic 🌐 English ⚖ 206 KB

A list-oriented extension of the lambda-

✍ György E. Révész 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 871 KB

An O(|T|3) algorithm for testing the Chu

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

An extension of Klop's counterexample to

✍ M.W. Bunder 📂 Article 📅 1985 🏛 Elsevier Science 🌐 English ⚖ 268 KB

The apollonian octets and an inversive f

✍ J.B. Wilker 📂 Article 📅 1982 🏛 Elsevier Science 🌐 English ⚖ 625 KB