Conference paper
Recursion in logics of programs
David Harel
POPL 1979
Paper
“do considered od” considered odder than “do considered ob”
Abstract
No abstract available.
Related
Conference paper
Process logic: Expressiveness, decidability, completeness
David Harel, Dexter Kozen, et al.
FOCS 1980
David Harel, Dexter Kozen, et al.
Journal of Computer and System Sciences
Conference paper
Horn clauses and the fixpoint query hierarchy
Ashok K. Chandra, David Harel
SIGMOD/PODS 1982