@Inproceedings{EPTCS95.17, author = {Shang, Yun and Lu, Xian and Lu, Ruqian}, year = {2012}, title = {Turing machines based on unsharp quantum logic}, editor = {Jacobs, Bart and Selinger, Peter and Spitters, Bas}, booktitle = {{\rm Proceedings 8th International Workshop on} Quantum Physics and Logic, {\rm Nijmegen, Netherlands, October 27-29, 2011}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {95}, publisher = {Open Publishing Association}, pages = {251-261}, doi = {10.4204/EPTCS.95.17}, }