✦ LIBER ✦

Computable functions in tabular databases

✍ Scribed by B. V. Gubskii; I. A. Basarab

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Completeness problems in classes of comp

✍ D. B. Bui; B. V. Gubskii; V. N. Red'ko 📂 Article 📅 1989 🏛 Springer US 🌐 English ⚖ 988 KB

Redundancy in functional databases

✍ Levent Orman 📂 Article 📅 1986 🏛 Elsevier Science 🌐 English ⚖ 812 KB

A term rewriting characterization of the

✍ Isabel Oitavem 📂 Article 📅 2002 🏛 Springer 🌐 English ⚖ 124 KB

Using database machines in embedded comp

✍ Csaba Egyhazy 📂 Article 📅 1985 🏛 Elsevier Science 🌐 English ⚖ 564 KB

Checking functional consistency in deduc

✍ Erik Lambrichts; Peter Nees; Jan Paredaens; Peter Peelman; Letizia Tanca 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 556 KB

Consistency statements and iterations of

✍ Joost J. Joosten 📂 Article 📅 2010 🏛 Springer 🌐 English ⚖ 311 KB