Login / Signup
Propositional Dynamic Logic of Regular Programs.
Michael J. Fischer
Richard E. Ladner
Published in:
J. Comput. Syst. Sci. (1979)
Keyphrases
</>
propositional dynamic logic
dynamic logic
reasoning about actions
data structure
database systems
automatic programming
real time
computer vision
image processing
image sequences