Nondeterminism in Logics of Programs.

David Harel Vaughan R. Pratt

Published in: POPL (1978)

Keyphrases

expressive power
control structures
neural network
inference rules
artificial intelligence
database systems
information technology
orders of magnitude
modal logic
situation calculus
programming environment
fixpoint
proof theory
propositional calculus