{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,3]],"date-time":"2025-11-03T22:55:02Z","timestamp":1762210502730},"reference-count":17,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2007,4,1]],"date-time":"2007-04-01T00:00:00Z","timestamp":1175385600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["SCI CHINA SER F"],"published-print":{"date-parts":[[2007,4]]},"DOI":"10.1007\/s11432-007-0020-y","type":"journal-article","created":{"date-parts":[[2007,4,16]],"date-time":"2007-04-16T23:35:22Z","timestamp":1176766522000},"page":"154-169","source":"Crossref","is-referenced-by-count":11,"title":["Notes on automata theory based on quantum logic"],"prefix":"10.1007","volume":"50","author":[{"given":"DaoWen","family":"Qiu","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"20_CR1","volume-title":"Quantum Computation and Quantum Information","author":"M. A. Nielsen","year":"2000","unstructured":"Nielsen M A, Chuang I L. Quantum Computation and Quantum Information. Cambridge: Cambridge University Press, 2000"},{"key":"20_CR2","volume-title":"Quantum Computing","author":"J. Gruska","year":"1999","unstructured":"Gruska J. Quantum Computing. London: McGraw-Hill, 1999"},{"key":"20_CR3","first-page":"981","volume":"39","author":"M. S. Ying","year":"2000","unstructured":"Ying M S. Automata theory based on quantum logic I. Int J Theor Phys, 2000, 39: 981\u2013991","journal-title":"Int J Theor Phys"},{"key":"20_CR4","doi-asserted-by":"crossref","first-page":"2545","DOI":"10.1023\/A:1026453524064","volume":"39","author":"M. S. Ying","year":"2000","unstructured":"Ying M S. Automata theory based on quantum logic II. Int J Theor Phys, 2000, 39: 2545\u20132557","journal-title":"Int J Theor Phys"},{"issue":"1","key":"20_CR5","first-page":"23","volume":"14","author":"D. W. Qiu","year":"2003","unstructured":"Qiu D W. Automata and grammar theory based on quantum logic. J Software (in Chinese), 2003, 14(1): 23\u201327","journal-title":"J Software (in Chinese)"},{"key":"20_CR6","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1016\/j.ic.2003.11.003","volume":"190","author":"D. W. Qiu","year":"2004","unstructured":"Qiu D W. Automata theory based on quantum logic: some characterizations. Inf Comput, 2004, 190: 179\u2013195","journal-title":"Inf Comput"},{"key":"20_CR7","doi-asserted-by":"crossref","first-page":"1425","DOI":"10.1023\/A:1025775827938","volume":"42","author":"R. Q. Lu","year":"2003","unstructured":"Lu R Q, Zheng H. Lattices of quantum automata. Internat J Theoret Phys, 2003, 42: 1425\u20131449","journal-title":"Internat J Theoret Phys"},{"key":"20_CR8","doi-asserted-by":"crossref","first-page":"1677","DOI":"10.1023\/A:1026135502749","volume":"42","author":"W. Cheng","year":"2003","unstructured":"Cheng W, Wang J. Grammar theory based on quantum logic. Internat J Theoret Phys, 2003, 42: 1677\u20131691","journal-title":"Internat J Theoret Phys"},{"key":"20_CR9","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1016\/j.tcs.2005.04.001","volume":"344","author":"M. S. Ying","year":"2005","unstructured":"Ying M S. A theory of computation based on quantum Logic (I). Theoret Comput Sci, 2005, 344: 134\u2013207","journal-title":"Theoret Comput Sci"},{"key":"20_CR10","doi-asserted-by":"crossref","first-page":"823","DOI":"10.2307\/1968621","volume":"37","author":"G. Birkhoff","year":"1936","unstructured":"Birkhoff G, von Neumann J. The logic of quantum mechanics. Ann Math, 1936, 37: 823\u2013843","journal-title":"Ann Math"},{"key":"20_CR11","volume-title":"Orthomodular Structures as Quantum Logics","author":"P. Pt\u00e1k","year":"1991","unstructured":"Pt\u00e1k P, Pulmannov\u00e1 S. Orthomodular Structures as Quantum Logics. Dordrecht: Kluwer, 1991"},{"key":"20_CR12","doi-asserted-by":"crossref","first-page":"427","DOI":"10.1007\/978-94-009-5203-4_7","volume-title":"Handbook of Philosophical Logic. Vol. III","author":"M. L. Chiara Dalla","year":"1986","unstructured":"Dalla Chiara M L. Quantum logic. in: Gabbay D, Guenthner F, eds. Handbook of Philosophical Logic. Vol. III. Dordrecht: Reidel, 1986. 427\u2013469"},{"key":"20_CR13","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-009-9871-1","volume-title":"Quantum Logic","author":"P. Mittelstaedt","year":"1978","unstructured":"Mittelstaedt P. Quantum Logic. Dordrecht: Reidel, 1978"},{"key":"20_CR14","volume-title":"Orthomodular Lattices, London Math Soc Monographs. Vol. 18","author":"G. Kalmbach","year":"1983","unstructured":"Kalmbach G. Orthomodular Lattices, London Math Soc Monographs. Vol. 18. London: Academic Press, 1983"},{"key":"20_CR15","first-page":"13","volume-title":"Introduction to Automata Theory, Languages, and Computation","author":"J. E. Hopcroft","year":"1979","unstructured":"Hopcroft J E, Ullman J D. Introduction to Automata Theory, Languages, and Computation. New York: Addision-Wesley, 1979. 13\u2013223"},{"key":"20_CR16","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1017\/S0004972700041642","volume":"2","author":"P. D. Finch","year":"1970","unstructured":"Finch P D. Quantum logic as an implication algebra. Bull Austral Math Soc, 1970, 2: 101\u2013106","journal-title":"Bull Austral Math Soc"},{"key":"20_CR17","doi-asserted-by":"crossref","first-page":"727","DOI":"10.1007\/BF00733278","volume":"21","author":"L. Rom\u00e1n","year":"1991","unstructured":"Rom\u00e1n L, Rumbos B. Quantum logic revisited. Found Phys, 1991, 21: 727\u2013734","journal-title":"Found Phys"}],"container-title":["Science in China Series F: Information Sciences"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11432-007-0020-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11432-007-0020-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11432-007-0020-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T15:35:53Z","timestamp":1559403353000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11432-007-0020-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,4]]},"references-count":17,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2007,4]]}},"alternative-id":["20"],"URL":"https:\/\/doi.org\/10.1007\/s11432-007-0020-y","relation":{},"ISSN":["1009-2757","1862-2836"],"issn-type":[{"value":"1009-2757","type":"print"},{"value":"1862-2836","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,4]]}}}