𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Semantic representations as procedures for verification

✍ Scribed by Jack Catlin; Dennis L. Micham

Publisher
Springer US
Year
1975
Tongue
English
Weight
937 KB
Volume
4
Category
Article
ISSN
0090-6905

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Semantic Representations and Query Langu
Semantic Representations and Query Languages for Or-Sets
✍ Leonid Libkin; Limsoon Wong πŸ“‚ Article πŸ“… 1996 πŸ› Elsevier Science 🌐 English βš– 875 KB

Or-sets were introduced by Imielinski, Naqvi, and Vadaparty for dealing with limited forms of disjunctive information in database queries. Independently, Rounds used a similar notion for representing disjunctive and conjunctive information in the context of situation theory. In this paper we formula