Computing power of Turing machines in the framework of unsharp quantum logic.

Yun Shang Xian Lu Ruqian Lu

Published in: Theor. Comput. Sci. (2015)

Keyphrases

computing power
processing power
main contribution
storage capacity
logical framework
turing machine
real time
logic programming
abductive reasoning