Login / Signup
Adiabatic dynamic logic.
Alex G. Dickinson
John S. Denker
Published in:
IEEE J. Solid State Circuits (1995)
Keyphrases
</>
dynamic logic
modal logic
reasoning about actions
imperative programs
multiple input
first order logic
classical first order logic
agent programming
situation calculus