Login / Signup
Complete Call-by-Value Calculi of Control Operators II: Strong Termination.
Ryu Hasegawa
Published in:
Log. Methods Comput. Sci. (2021)
Keyphrases
</>
high level
control system
control theory
control method
control structures
database
control strategy
control problems
data sets
information systems
edge detection
building blocks
optimal control
adaptive control
control strategies