Delimited control operators prove Double-negation Shift

Published in: CoRR (2010)

Keyphrases

control structures
data sets
databases
control system
image sequences
control problems
image processing
natural language
expert systems
logic programming
belief revision
optimal control
aggregation operators
robot control
control structure