Qubitless Quantum Logic.

Richard B. Kassman Gennady P. Berman Vladimir I. Tsifrinovich Gustavo V. López

Published in: Quantum Inf. Process. (2002)

Keyphrases

quantum computation
logic circuits
logic programming
classical logic
logic synthesis
predicate logic
quantum computing
decision trees
expressive power
modal logic
truth values
multi valued
sound and complete axiomatization
database
automated reasoning
logic programs
data sets
real time