✦ LIBER ✦

Formalization of correctness of recursive definitions

✍ Scribed by Tsong Yueh Chen

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Algebraic Correctness Proofs for Compili

✍ Klaus Indermark; Thomas Noll 📂 Article 📅 2006 🏛 Springer-Verlag 🌐 English ⚖ 500 KB

Coq formalization of the higher-order re

✍ Adam Koprowski 📂 Article 📅 2009 🏛 Springer 🌐 English ⚖ 531 KB

NOTE ON DEFINITION OF RECURSIVENESS

✍ Jiří Hořejš 📂 Article 📅 1964 🏛 John Wiley and Sons 🌐 English ⚖ 94 KB

Recursive definition for elements of rea

✍ Asher Peres 📂 Article 📅 1992 🏛 Springer US 🌐 English ⚖ 294 KB

On systems of definitions, induction and

✍ Lars Hallnäs 📂 Article 📅 1992 🏛 Springer Netherlands 🌐 English ⚖ 895 KB

Formal definitions of web information se

✍ Su Yan; C. Lee Giles; Bernard J. Jansen 📂 Article 📅 2007 🏛 Wiley (John Wiley & Sons) 🌐 English ⚖ 11 KB