✦ LIBER ✦

SCDBR: An Automated Reasoner for Specifications of Database Updates

✍ Scribed by Leopoldo Bertossi; Marcelo Arenas; Cristian Ferretti

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An Order-Based Theory of Updates for Clo

✍ Stephen J. Hegner 📂 Article 📅 2004 🏛 Springer Netherlands 🌐 English ⚖ 522 KB

Theme Issue: Integration of Geodata and

✍ Christian Heipke; Kian Pakzad; Felicitas Willrich; Ammatzia Peled 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 61 KB

Analysis of specificity of M2_2_36 marke

✍ M. Shaykholeslam; S. Vallian 📂 Article 📅 2011 🏛 John Wiley and Sons 🌐 English ⚖ 470 KB

Design and implementation of an automate

✍ Vazquez-Briseno, Mabel; Nieto-Hipolito, Juan Ivan; Vincent, Pierre; Sanchez-Lope 📂 Article 📅 2011 🏛 IEEE 🌐 Portuguese ⚖ 875 KB

An Approximate Method for Minimizing Com

✍ Yasushi Wakahara 📂 Article 📅 2002 🏛 John Wiley and Sons 🌐 English ⚖ 244 KB

Development of a computer algorithm for

✍ Brian C Lund; Elizabeth A Chrischilles; Barry L Carter; Michael E Ernst; Paul J 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 88 KB