✦ LIBER ✦

An abstract prolog machine based on parallel resolution principle

✍ Scribed by I. Vlahavas; P. Kefalas

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A parallel Prolog resolution based on mu

✍ I Vlahavas; P Kefalas 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 810 KB

An efficient network-based formulation f

✍ Bradley E. Anderson; James D. Blocher; Kurt M. Bretthauer; Munirpallam A. Venkat 📂 Article 📅 2013 🏛 Elsevier Science 🌐 English ⚖ 241 KB

An implementation model of the typed λ-c

✍ Shinya Sato; Toru Sugimoto; Shinichi Yamada 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 354 KB

[Smart Innovation, Systems and Technolog

✍ Nishida, Toyoaki; Jain, Lakhmi C.; Faucher, Colette 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg ⚖ 504 KB