Quantum Hoare Logic.
Junyi LiuBohua ZhanShuling WangShenggang YingTao LiuYangjia LiMingsheng YingNaijun ZhanPublished in: Arch. Formal Proofs (2019)
Keyphrases
- quantum computation
- logic circuits
- logic synthesis
- modal logic
- logic programming
- multi valued
- real world
- quantum computing
- delay insensitive
- predicate logic
- defeasible logic
- classical logic
- data sets
- nonmonotonic logics
- digital circuits
- probabilistic logic
- deontic logic
- automated reasoning
- programming language
- multi agent
- case study
- sound and complete axiomatization