✦ LIBER ✦

Church-Rosser systems with respect to formal languages

✍ Scribed by A. V. Anisimov; V. A. Oleshchuk

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Undecidable questions related to Church-

✍ Colm Ó'Dúnlaing 📂 Article 📅 1983 🏛 Elsevier Science 🌐 English ⚖ 792 KB

Hierarchies of context-free languages wi

✍ M. K. Valiev; A. Ya. Dikovskii 📂 Article 📅 1976 🏛 Springer US 🌐 English ⚖ 587 KB

A formal system of negationless arithmet

✍ V. N. Krivtsov 📂 Article 📅 1984 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 514 KB

An extension of Klop's counterexample to

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

Lambda calculus notation with nameless d

✍ N.G de Bruijn 📂 Article 📅 1972 🏛 Elsevier Science ⚖ 718 KB

Simulation with respect to solid fluid s

✍ Lawrence B. Evans 📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 599 KB