Login / Signup
Hoare's Logic for Nondeterministic Regular Programs: A Nonstandard Approach.
Maria Teresa Hortalá-González
Mario Rodríguez-Artalejo
Published in:
Theor. Comput. Sci. (1989)
Keyphrases
</>
dynamic logic
modal logic
logic programming
classical logic
recursive programs
programs written
agent programming
probabilistic logic
declarative semantics
finite state
logic programs
databases
automated reasoning
active rules
set theory
computer programs
artificial intelligence
functional programs
neural network