✦ LIBER ✦

The inference problem for template dependencies

✍ Scribed by Yuri Gurevich; Harry R. Lewis

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The decision problem for database depend

✍ M.Y. Vardi 📂 Article 📅 1981 🏛 Elsevier Science 🌐 English ⚖ 541 KB

Charting the completeness frontier of in

✍ Sebastian Link 📂 Article 📅 2008 🏛 Springer-Verlag 🌐 English ⚖ 390 KB

The implication problem for functional a

✍ John C. Mitchell 📂 Article 📅 1983 🏛 Elsevier Science ⚖ 985 KB

The additivity problem for functional de

✍ Mark Levene; George Loizou 📂 Article 📅 1997 🏛 Springer-Verlag 🌐 English ⚖ 128 KB

The template update problem

✍ Matthews, L.; Ishikawa, T.; Baker, S. 📂 Article 📅 2004 🏛 IEEE 🌐 English ⚖ 573 KB

On the implication problem for cardinali

✍ Sven Hartmann 📂 Article 📅 2001 🏛 Springer Netherlands 🌐 English ⚖ 398 KB