While-Programs with Nondeterministic Assignments and the Logic Alna.

Gianfranco Mascari Marisa Venturini Zilli

Published in: Theor. Comput. Sci. (1985)

Keyphrases

dynamic logic
logic programming
finite state
asynchronous circuits
agent programming
modal logic
multi valued
logical framework
databases
digital circuits
stable models
data sets
finite automata
classical logic
automatic programming
epistemic logic
information systems
control program
proof theory