Login / Signup
Dynamic Logic with Non-rigid Functions.
Bernhard Beckert
André Platzer
Published in:
IJCAR (2006)
Keyphrases
</>
dynamic logic
reasoning about actions
imperative programs
modal logic
motion estimation
artificial intelligence
multi agent
image registration
feature points
first order logic
propositional dynamic logic