메뉴 건너뛰기




Volumn 50, Issue 2, 2007, Pages 154-169

Notes on automata theory based on quantum logic

Author keywords

Automata; Orthomodular lattices; Quantum computing; Quantum logic

Indexed keywords


EID: 34247225558     PISSN: 10092757     EISSN: 18622836     Source Type: Journal    
DOI: 10.1007/s11432-007-0020-y     Document Type: Article
Times cited : (15)

References (17)
  • 3
    • 0034349194 scopus 로고    scopus 로고
    • Automata theory based on quantum logic I
    • Ying M S. Automata theory based on quantum logic I. Int J Theor Phys, 2000, 39: 981-991
    • (2000) Int J Theor Phys , vol.39 , pp. 981-991
    • Ying, M.S.1
  • 4
    • 0034309902 scopus 로고    scopus 로고
    • Automata theory based on quantum logic II
    • Ying M S. Automata theory based on quantum logic II. Int J Theor Phys, 2000, 39: 2545-2557
    • (2000) Int J Theor Phys , vol.39 , pp. 2545-2557
    • Ying, M.S.1
  • 5
    • 24144500086 scopus 로고    scopus 로고
    • Automata and grammar theory based on quantum logic
    • Qiu D W. Automata and grammar theory based on quantum logic. J Software (in Chinese), 2003, 14(1): 23-27
    • (2003) J Software (in Chinese) , vol.14 , Issue.1 , pp. 23-27
    • Qiu, D.W.1
  • 6
    • 2342462362 scopus 로고    scopus 로고
    • Automata theory based on quantum logic: Some characterizations
    • Qiu D W. Automata theory based on quantum logic: some characterizations. Inf Comput, 2004, 190: 179-195
    • (2004) Inf Comput , vol.190 , pp. 179-195
    • Qiu, D.W.1
  • 7
    • 0347756914 scopus 로고    scopus 로고
    • Lattices of quantum automata
    • Lu R Q, Zheng H. Lattices of quantum automata. Internat J Theoret Phys, 2003, 42: 1425-1449
    • (2003) Internat J Theoret Phys , vol.42 , pp. 1425-1449
    • Lu, R.Q.1    Zheng, H.2
  • 8
    • 1642419595 scopus 로고    scopus 로고
    • Grammar theory based on quantum logic
    • Cheng W, Wang J. Grammar theory based on quantum logic. Internat J Theoret Phys, 2003, 42: 1677-1691
    • (2003) Internat J Theoret Phys , vol.42 , pp. 1677-1691
    • Cheng, W.1    Wang, J.2
  • 9
    • 27644550004 scopus 로고    scopus 로고
    • A theory of computation based on quantum Logic (I)
    • Ying M S. A theory of computation based on quantum Logic (I). Theoret Comput Sci, 2005, 344: 134-207
    • (2005) Theoret Comput Sci , vol.344 , pp. 134-207
    • Ying, M.S.1
  • 10
    • 0000194417 scopus 로고
    • The logic of quantum mechanics
    • Birkhoff G, von Neumann J. The logic of quantum mechanics. Ann Math, 1936, 37: 823-843
    • (1936) Ann Math , vol.37 , pp. 823-843
    • Birkhoff, G.1    von Neumann, J.2
  • 12
    • 0003056266 scopus 로고
    • Quantum logic
    • Gabbay D, Guenthner F, eds, Dordrecht: Reidel
    • Dalla Chiara M L. Quantum logic, in: Gabbay D, Guenthner F, eds. Handbook of Philosophical Logic. Vol. III. Dordrecht: Reidel, 1986. 427-469
    • (1986) Handbook of Philosophical Logic , vol.3 , pp. 427-469
    • Dalla Chiara, M.L.1
  • 14
    • 34247202943 scopus 로고    scopus 로고
    • Kalmbach G Orthomodular Lattices, London Math Soc Monographs. 18. London: Academic Press, 1983
    • Kalmbach G Orthomodular Lattices, London Math Soc Monographs. Vol. 18. London: Academic Press, 1983
  • 16
    • 0041789202 scopus 로고
    • Quantum logic as an implicatiom algebra
    • Finch P D. Quantum logic as an implicatiom algebra. Bull Austral Math Soc, 1970, 2: 101-106
    • (1970) Bull Austral Math Soc , vol.2 , pp. 101-106
    • Finch, P.D.1
  • 17
    • 0000595671 scopus 로고
    • Quantum logic revisited
    • Roman L, Rumbos B. Quantum logic revisited. Found Phys, 1991, 21: 727-734
    • (1991) Found Phys , vol.21 , pp. 727-734
    • Roman, L.1    Rumbos, B.2


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.