✦ LIBER ✦

[Lecture Notes in Computer Science] COLOG-88 Volume 417 || On the problem of reducing search in logic program execution

✍ Scribed by Martin-Löf, Per; Mints, Grigori

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] COLO

✍ Martin-Löf, Per; Mints, Grigori 📂 Article 📅 1990 🏛 Springer Berlin Heidelberg ⚖ 505 KB

[Lecture Notes in Computer Science] Lect

✍ Bezhanishvili, Nick; Goranko, Valentin 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 379 KB

[Lecture Notes in Computer Science] Foun

✍ Honsell, Furio; Miculan, Marino 📂 Article 📅 2001 🏛 Springer Berlin Heidelberg ⚖ 167 KB

[Lecture Notes in Computer Science] Deon

✍ Governatori, Guido; Sartor, Giovanni 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg ⚖ 122 KB

[Lecture Notes in Computer Science] STAC

✍ Cori, Robert; Wirsing, Martin 📂 Article 📅 1988 🏛 Springer-Verlag 🌐 German ⚖ 647 KB

[Lecture Notes in Computer Science] Thir

✍ Shapiro, Ehud 📂 Article 📅 1986 🏛 Springer Berlin Heidelberg ⚖ 424 KB