A Logic for Abstract State Machines.

Robert F. Stärk Stanislas Nanchen

Published in: J. Univers. Comput. Sci. (2001)

Keyphrases

multi valued
modal logic
data sets
classical logic
defeasible logic
predicate logic
artificial intelligence
decision making
image processing
web services
video sequences
truth values
epistemic logic
asynchronous circuits
proof theory
logic synthesis