✦ LIBER ✦

Hyperequivalence of logic programs with respect to supported models

✍ Scribed by Mirosław Truszczyński; Stefan Woltran

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Completeness with respect to a chain and

✍ Franco Montagna 📂 Article 📅 2010 🏛 Springer 🌐 English ⚖ 260 KB

A Modal Logic That is Complete with Resp

✍ V. F. Murzina 📂 Article 📅 2005 🏛 Springer US 🌐 English ⚖ 250 KB

Differentiability with respect to parame

✍ Kazimierz Malanowski 📂 Article 📅 1985 🏛 Springer-Verlag 🌐 English ⚖ 392 KB

Maximum ease of testability of logic cir

✍ N. D. Stukach 📂 Article 📅 1992 🏛 Springer US 🌐 English ⚖ 561 KB

Development of structure-toxicity relati

✍ O. A. Raevsky; V. Yu. Grigor’ev; O. V. Tikhonova 📂 Article 📅 2009 🏛 Springer 🌐 English ⚖ 92 KB

Needs of the amorphous silicon program w

✍ W. Luft; B. Stafford; B. von Roedern 📂 Article 📅 1991 🏛 Elsevier Science ⚖ 723 KB