Raymond Reiter
- Raymond Reiter. Scheduling
parallel computations. Journal of the ACM,
15(4):590-599, October 1968.
References
and Citations.
- Raymond Reiter. Two
results on ordering for resolution with merging and linear format.
Journal of the ACM, 18(4):630-646, October 1971.
References,
Citations,
etc.
- Raymond Reiter. Equality
and domain closure in first-order databases. Journal of the
ACM, 27(2):235-249, April 1980.
Citations.
- Raymond Reiter. A sound
and sometimes complete query evaluation algorithm for relational
databases with null values. Journal of the ACM,
33(2):349-370, April 1986.
Citations.
Shortcuts: