✦ LIBER ✦

The next 700 Krivine machines

✍ Scribed by Rémi Douence; Pascal Fradet

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The graphical Krivine machine

✍ Sylvain Lippi 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 702 KB

On the correctness of the Krivine machin

✍ Mitchell Wand 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 177 KB

Strongly reducing variants of the Krivin

✍ Pierre Crégut 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 377 KB

The next 700 formal language description

✍ Morris, Lockwood 📂 Article 📅 1993 🏛 Springer 🌐 English ⚖ 417 KB

Explaining the lazy Krivine machine usin

✍ Frédéric Lang 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 350 KB

Structured machine learning: the next te

✍ Thomas G. Dietterich; Pedro Domingos; Lise Getoor; Stephen Muggleton; Prasad Tad 📂 Article 📅 2008 🏛 Springer 🌐 English ⚖ 434 KB