Algorithmic analysis of termination problems for quantum programs.

Yangjia Li Mingsheng Ying

Published in: Proc. ACM Program. Lang. (2018)

Keyphrases

data model
databases
data analysis
image analysis
optimization problems
np complete
statistical analysis
deductive databases
problems involving