On the Relative Completeness of Satisfaction-based Quantum Hoare Logic.
Xin SunXingchi SuXiaoning BianHuiwen WuPublished in: CoRR (2024)
Keyphrases
- quantum computation
- logic circuits
- logic synthesis
- modal logic
- quantum computing
- logical framework
- automated reasoning
- logic programming
- probabilistic logic
- databases
- computational properties
- predicate logic
- epistemic logic
- neural network
- probability theory
- user satisfaction
- deontic logic
- asynchronous circuits
- information retrieval
- data mining