Quantum Logic for Observation of Physical Quantities.

Published in: DaLí (2022)

Keyphrases

quantum computation
logic circuits
logic synthesis
multi valued
modal logic
logic programming
quantum computing
low power
classical logic
website
automated reasoning
logical framework
formal language
formal theory
quantum mechanics
dynamic logic