Bisimulations for Delimited-Control Operators.

Dariusz Biernacki Sergueï Lenglet Piotr Polesiuk

Published in: Log. Methods Comput. Sci. (2019)

Keyphrases

control structures
control strategy
morphological operators
database
robot control
information retrieval
feature selection
control method