✦ LIBER ✦

Path Dependent Analysis of Logic Programs

✍ Scribed by Lunjin Lu

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Path for AND-parallel execution of logic

✍ Su-Hyun Lee; Do-Hyung Kim; Kwang-Moo Choe 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 768 KB

A Polymorphic Type Dependency Analysis f

✍ Lunjin Lu 📂 Article 📅 2011 🏛 Springer 🌐 English ⚖ 489 KB

Linearity Analysis of Concurrent Logic P

✍ Kazunori Ueda 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 76 KB

Analysis of program logic test strategie

✍ V. V. Lipaev; B. A. Pozin; S. A. Blau 📂 Article 📅 1982 🏛 Springer US 🌐 English ⚖ 614 KB

Program theory evaluation: Logic analysi

✍ Astrid Brousselle; François Champagne 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 263 KB

Soft Constraint Logic Programming and Ge

✍ Stefano Bistarelli; Ugo Montanari; Francesca Rossi 📂 Article 📅 2002 🏛 Springer US 🌐 English ⚖ 115 KB