Publications

3 results for Haim Gaifman

Undecidable Optimization Problems for Database Logic Programs
- - Haim Gaifman
  - Harry Mairson
  - et al.
- 1993
- Journal of the ACM (JACM)
Replay, recovery, replication, and snapshots of nondeterministic concurrent programs
- - Haim Gaifman
  - Michael J. Maker
  - et al.
- 1991
- PODC 1991
Decidable optimization problems for database logic programs
- - Stavros S. Cosmadakis
  - Paris C. Kanellakis
  - et al.
- 1988
- STOC 1988