Shang, Yun; Lu, Xian; Lu, Ruqian Computing power of Turing machines in the framework of unsharp quantum logic. (English) Zbl 1329.68114 Theor. Comput. Sci. 598, 2-14 (2015). MSC: 68Q05 03D10 03G12 68Q12 PDFBibTeX XMLCite \textit{Y. Shang} et al., Theor. Comput. Sci. 598, 2--14 (2015; Zbl 1329.68114) Full Text: DOI
Shang, Yun; Lu, Xian; Lu, Ruqian A theory of computation based on unsharp quantum logic: finite state automata and pushdown automata. (English) Zbl 1254.68123 Theor. Comput. Sci. 434, 53-86 (2012). Reviewer: Anatolij Dvurečenskij (Bratislava) MSC: 68Q05 03G12 06D35 68Q45 81P68 PDFBibTeX XMLCite \textit{Y. Shang} et al., Theor. Comput. Sci. 434, 53--86 (2012; Zbl 1254.68123) Full Text: DOI