Bisimulations for Delimited-Control Operators.
Dariusz BiernackiSergueï LengletPiotr PolesiukPublished in: CoRR (2018)
Keyphrases
- control structures
- control system
- control method
- data mining
- control problems
- database
- three dimensional
- objective function
- data structure
- learning environment
- digital libraries
- relational databases
- query processing
- metadata
- mathematical model
- optimal control
- computer vision
- search engine
- control theory
- control structure