✦ LIBER ✦

Extracting Herbrand disjunctions by functional interpretation

✍ Scribed by Philipp Gerhardy; Ulrich Kohlenbach

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Solving Problems with Min-Type Functions

✍ Mikhail Andramonov 📂 Article 📅 2002 🏛 Springer US 🌐 English ⚖ 92 KB

Secrecy by interpretation functions

✍ Hanane Houmani; Mohamed Mejri 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 342 KB

A Functional Interpretation of Mentality

✍ Review by: W. C. Reavis 📂 Article 📅 1924 🏛 The University of Chicago Press ⚖ 100 KB

Realization of weakly defined Boolean fu

✍ A.A. Aleksanyan 📂 Article 📅 1989 🏛 Elsevier Science ⚖ 343 KB

Conjunctive and disjunctive combination

✍ Thierry Denœux 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 433 KB

Influence of aqueous phase composition u

✍ M.-C. Cognet; H. Renon 📂 Article 📅 1977 🏛 Elsevier Science 🌐 English ⚖ 426 KB