-
3
-
-
0034349194
-
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
-
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
-
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
-
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
-
8
-
-
1642419595
-
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
-
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
-
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
-
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
-
-
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
-
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
-
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
|