Problems and results for logics about imperatives.

Published in: J. Appl. Log. (2004)

Keyphrases

application domains
expressive power
problems involving
neural network
np complete
related problems
real time
databases
machine learning
case study
search algorithm
high dimensional
special case
benchmark problems
solving problems