David Harel, Dexter Kozen, et al.
Journal of Computer and System Sciences
Paper
“do considered od” considered odder than “do considered ob”
Abstract
No abstract available.
Related
Conference paper
Horn clauses and the fixpoint query hierarchy
Ashok K. Chandra, David Harel
SIGMOD/PODS 1982
David Harel
Information Processing Letters
Conference paper
Computable queries for relational data bases
Ashok K. Chandra, David Harel
STOC 1979