Publications

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)
Paper
Tools for datalog boundedness
- - Gerd G. Hillebrand
  - Paris C Kanellakis
  - et al.
- 1991
- SIGMOD/PODS/ 1991
Conference paper