A Quantum Interpretation of Bunched Logic for Quantum Separation Logic.
Li ZhouGilles BartheJustin HsuMingsheng YingNengkun YuPublished in: CoRR (2021)
Keyphrases
- quantum computation
- logic circuits
- logic synthesis
- quantum computing
- quantum inspired
- predicate logic
- logic programming
- multi valued
- set theory
- sound and complete axiomatization
- natural deduction
- data sets
- classical logic
- learning algorithm
- asynchronous circuits
- defeasible logic
- high level
- social networks
- data mining