✦ LIBER ✦

On the completeness of SLDENF-resolution

✍ Scribed by Michael Thielscher

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A note on the completeness of resolution

✍ Norbert Eisinger 📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 473 KB

On complete resolutions

✍ Jonathan Cornick; Peter H. Kropholler 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 965 KB

We develop simple criteria for constructing and using complete resolutions for modules over group algebras and strongly group graded rings.

The completeness of gp-resolution for an

✍ James J. Lu; Lawrence J. Henschen 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 503 KB

Acyclic logic programs and the completen

✍ Lawrence Cavedon 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 796 KB

Bounds on the crossing resolution of com

✍ Emilio Di Giacomo; Walter Didimo; Peter Eades; Seok-Hee Hong; Giuseppe Liotta 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 259 KB

Completeness of hyper-resolution via the

✍ Linh Anh Nguyen; Rajeev Goré 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 106 KB