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