✦ LIBER ✦

A Full Formalization of SLD-Resolution in the Calculus of Inductive Constructions

✍ Scribed by M. Jaume

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On the Formalization of the Modal μ-Calc

✍ Marino Miculan 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 341 KB

Ambient Calculus and its Logic in the Ca

✍ Ivan Scagnetto; Marino Miculan 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 240 KB

Independence of the induction principle

✍ Thomas Streicher 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 961 KB

Dynamic Programming and a New Formalism

✍ Richard Bellman 📂 Article 📅 1954 🏛 National Academy of Sciences 🌐 English ⚖ 581 KB

A formal treatment of the causative cons

✍ Chongli Zou; Nianxi Xia 📂 Article 📅 2008 🏛 Higher Education Press and Springer 🌐 English ⚖ 93 KB

A canonical formalism for multiple integ

✍ Hanno Rund 📂 Article 📅 1969 🏛 Springer 🌐 English ⚖ 784 KB