The computing power of Turing machine based on quantum logic.

Yun Shang Xian Lu Ruqian Lu

Published in: Turing-100 (2012)

Keyphrases

computing power
turing machine
quantum computation
logic circuits
computational power
processing power
storage capacity
embedded systems
logic synthesis
modal logic
logic programming
classical logic
proof theory
low power
logical framework
memory hierarchy
quantum computing