Login / Signup
A Quantum Interpretation of Bunched Logic & Quantum Separation Logic.
Li Zhou
Gilles Barthe
Justin Hsu
Mingsheng Ying
Nengkun Yu
Published in:
LICS (2021)
Keyphrases
</>
quantum computation
logic circuits
modal logic
logic synthesis
logic programming
quantum inspired
automated reasoning
quantum computing
proof theory
probability ranking principle
classical logic
asynchronous circuits
real time
multi valued
high level
case study
information systems
data sets