References

  1. E. Bernstein & V. Vazirani (1997): Quantum complexity theory. SIAM Journal on Computing 26, pp. 1411–1473, doi:10.1137/S0097539796300921.
  2. D. Deutsch (1985): Quantum theory, the Church-Turing principle and the universal quantum computer. In:Proc. of the Royal Society of London A 400, pp. 97–117, doi:10.1098/rspa.1985.0070.
  3. A. Dvurečenskij & S. Pulmannová (2000): New Trends in Quantum Structures. Kluwer, Dordrecht; Ister Science, Bratislava.
  4. D. J. Foulis & M. K. Bennett (1994): Effect algebras and unsharp quantum logics. Foundations of Physics 24, pp. 1331–1352, doi:10.1007/BF02283036.
  5. R. Giuntini (1996): Quantum MV algebras. Studia logica 56, pp. 393–417, doi:10.1007/BF00372773.
  6. S. Gudder (1995): Total extensions of effect algebras. Foundations of Physics Letters 8, pp. 243–252, doi:10.1007/BF02187348.
  7. Y. M. Li (2008): Fuzzy Turing machines: variants and universality. IEEE Transactions on Fuzzy Systems 16(6), pp. 1491–1502, doi:10.1109/TFUZZ.2008.2004990.
  8. Y. M. Li (2010): Finite automata based on quantum logic and monadic second-order quantum logic. Science China Series F: Information Sciences 53(1), pp. 101–114, doi:10.1007/s11432-010-0003-2.
  9. S. Perdrix (2011): Partial observation of quantum Turing machines and a weaker well-formedness condition. Electronic Notes in Theoretical Computer Science 270(1), pp. 99–111, doi:10.1016/j.entcs.2011.01.009.
  10. S. Perdrix & P. Jorrand (2006): Classically-controlled quantum computation. Mathematical Structures in Computer Science 16, pp. 601–620, doi:10.1017/S096012950600538X.
  11. D. W. Qiu (2004): Automata theory based on quantum logic: some characterizations. Information and Computation 190, pp. 179–195, doi:10.1016/j.ic.2003.11.003.
  12. Y. Shang, X. Lu & R. Q. Lu (2012): A theory of computation based on unsharp quantum logic: finite state automata and pushdown automata. Theoretical Computer Science 434, pp. 53–86, doi:10.1016/j.tcs.2012.02.018.
  13. Y. Shang, X. Lu & R.Q. Lu (2009): Automata theory based on unsharp quantum logic. Mathematical Structures in Computer Science 19, pp. 737–756, doi:10.1017/S0960129509007701.
  14. J. Wiedermann (2002): Fuzzy Turing machines revised. Comput. Artificial Intelligence 21(3), pp. 1–13.
  15. M. S. Ying (2007): Quantum logic and automata theory. In: Dov Gabbay, Daniel Lehmanm & Kurt Engesser: Handbook of quantum structures and quantum logic. North-Holland(Elservier), pp. 619––754, doi:10.1016/B978-044452870-4/50037-6.

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org