✦ LIBER ✦

A mechanical proof of the termination of Takeuchi's function

✍ Scribed by J Strother Moore

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Proof Pearl—A Mechanized Proof of GHC’s

✍ Christian Sternagel 📂 Article 📅 2012 🏛 Springer Netherlands 🌐 English ⚖ 767 KB

Termination of SystemF-bounded: A Comple

✍ Giorgio Ghelli 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 300 KB

Proof of termination within a weak logic

✍ David C. Luckham; Norihisa Suzuki 📂 Article 📅 1977 🏛 Springer-Verlag 🌐 English ⚖ 679 KB

A proof rule for fair termination of gua

✍ Orna Grumberg; Nissim Francez; Johann A. Makowsky; Willem P. de Roever 📂 Article 📅 1985 🏛 Elsevier Science ⚖ 885 KB

A mechanical proof of Quadratic Reciproc

✍ David M. Russinoff 📂 Article 📅 1992 🏛 Springer Netherlands 🌐 English ⚖ 684 KB

Proof of termination of the rewriting sy

✍ Thérèse Hardin; Alain Laville 📂 Article 📅 1986 🏛 Elsevier Science 🌐 English ⚖ 407 KB