Login / Signup

Propositional Dynamic Logic of Regular Programs.

Michael J. FischerRichard 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