𝔖 Bobbio Scriptorium

✦ LIBER ✦

On the complexity of entailment in existential conjunctive first-order logic with atomic negation

✍ Scribed by Marie-Laure Mugnier; Geneviève Simonet; Michaël Thomazo

Book ID: 113642043
Publisher: Elsevier Science
Year: 2012
Tongue: English
Weight: 432 KB
Volume: 215
Category: Article
ISSN: 0890-5401
DOI: 10.1016/j.ic.2012.03.001

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Wave functions with terms linear in the

Wave functions with terms linear in the interelectronic coordinates to take care of the correlation cusp. III. Second-order Mo̸ller–Plesset (MP2-R12) calculations on molecules of first row atoms

✍ Klopper, Wim; Kutzelnigg, Werner 📂 Article 📅 1991 🏛 American Institute of Physics 🌐 English ⚖ 1007 KB

[Univ. Zagreb IWISPA 2000. Proceedings o

[Univ. Zagreb IWISPA 2000. Proceedings of the First International Workshop on Image and Signal Processing and Analysis in conjunction with 22nd International Conference on Information Technology Interfaces - Pula, Croatia (14-15 June 2000)] IWISPA 2000. Proceedings of the First International Workshop on Image and Signal Processing and Analysis. in conjunction with 22nd International Conference on Information Technology Interfaces. (IEEE Cat. No.00EX437) - Analysis of different low complexity nonlinear filters for acoustic echo cancellation

✍ Fermo, A.; Carini, A.; Sicuranza, G.L. 📂 Article 📅 2000 🏛 Univ. Zagreb 🌐 Croatian ⚖ 530 KB