A Logic for Abstract State Machines.

Robert F. Stärk Stanislas Nanchen

Published in: CSL (2001)

Keyphrases

logic programming
predicate logic
logic programs
modal logic
asynchronous circuits
data sets
databases
neural network
information retrieval
genetic algorithm
natural language
evolutionary algorithm
automated reasoning
classical logic
proof theory