On the Expressive Power of Logic Programming Languages with Sets
- Gabriel M. Kuper
- 1988
- SIGMOD/PODS/ 1988
Publications
Date
Featured collections
Popular topics
9 results for Gabriel M. Kuper
On the equivalence of logical databases
- Gabriel M. Kuper
- Jeffrey D. Ullman
- et al.
- 1984
- SIGMOD/PODS 1984
A new approach to database logic
- Gabriel M. Kuper
- Moshe Y. Vardi
- 1984
- SIGMOD/PODS 1984
SYSTEM/U: A database system based on the universal relation assumption
- Henry F. Korth
- Gabriel M. Kuper
- et al.
- 1984
- ACM Transactions on Database Systems (TODS)
Constraint Query Languages
- Paris C. Kanellakis
- G.M. Kuper
- et al.
- 1995
- Journal of Computer and System Sciences
On the complexity of queries in the logical data model
- Gabriel M. Kuper
- Moshe Y. Vardi
- 1993
- Theoretical Computer Science
The logical data model
- Gabriel M. Kuper
- Moshe Y. Vardi
- 1993
- ACM Transactions on Database Systems (TODS)
A note on the parallel complexity of anti-unification
- G.M. Kuper
- Ken McAloon
- et al.
- 1992
- Journal of Automated Reasoning
Logic programming with sets
- Gabriel M. Kuper
- 1990
- Journal of Computer and System Sciences