Assaf Marron, Lior Limonad, et al.
SEAMS 2020
Paper
“do considered od” considered odder than “do considered ob”
Abstract
No abstract available.
Related
Ashok Chandra, David Harel
Journal of Computer and System Sciences
Conference paper
Computable queries for relational data bases
Ashok K. Chandra, David Harel
STOC 1979
Conference paper
Process logic: Expressiveness, decidability, completeness
David Harel, Dexter Kozen, et al.
FOCS 1980