Tools for datalog boundedness
- Gerd G. Hillebrand
- Paris C Kanellakis
- et al.
- 1991
- SIGMOD/PODS/ 1991
Publications
Date
Featured collections
Popular topics
2 results for Harry G Mairson
Undecidable Optimization Problems for Database Logic Programs
- Haim Gaifman
- Harry Mairson
- et al.
- 1993
- Journal of the ACM (JACM)