✦ LIBER ✦

A simplified proof of DDL < DL

✍ Scribed by Jerzy Tiuryn

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Modularity of confluence: A simplified p

✍ Jan Willem Klop; Aart Middeldorp; Yoshihito Toyama; Roel de Vrijer 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 643 KB

A simplified proof of parikh's theorem

✍ J. Goldstine 📂 Article 📅 1977 🏛 Elsevier Science 🌐 English ⚖ 619 KB

A simplified proof of Bertrand’s theorem

✍ Tikochinsky, Yoel 📂 Article 📅 1988 🏛 American Institute of Physics 🌐 English ⚖ 516 KB

A Simplified Proof of the Divergence The

✍ de Figueiredo, Djairo Guedes 📂 Article 📅 1964 🏛 Mathematical Association of America 🌐 English ⚖ 408 KB

A simplified proof of the Bogoliubov-Par

✍ C.M. Van der Kolk; E.A. De Kerf 📂 Article 📅 1975 🏛 Elsevier Science 🌐 English ⚖ 813 KB

A Simplified Proof of the Church–Rosser

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