赞恩·罗西。;Chuag,Isaac L。 量子算法的语义嵌入。 (英语) Zbl 07783334号 数学杂志。物理。 64,第12号,文章ID 122202,第28页(2023).MSC公司:81页68 2012年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{Z.M.Rossi}和\textit{I.L.Chuang},J.数学。物理。64,第12号,文章ID 122202,第28页(2023;Zbl 0778334) 全文: 内政部 arXiv公司
邓玉欣;冯、袁 经典量子语言的形式语义。 (英语) Zbl 1483.68076号 西奥。计算。科学。 913, 73-93 (2022).MSC公司:68号30 03B70号 68问题55 81页68 PDF格式BibTeX公司 XML格式引用 \textit{Y.Deng}和\textit{Y.Feng},Theor。计算。科学。913、73-93(2022年;Zbl 1483.68076) 全文: 内政部 arXiv公司
亨利·德·布特雷;哈姆扎·贾法利;弗雷德里克·霍尔威克;阿兰·乔治蒂;皮埃尔·阿莱·马森 格罗弗算法和量子傅里叶变换中用于非局域性和纠缠检测的梅明多项式。 (英语) Zbl 1509.81255号 量子信息处理。 20,第3号,第91号论文,29页(2021年).MSC公司:81页68 81页40页 PDF格式BibTeX公司 XML格式引用 \textit{H.de Boutray}等人,《量子信息处理》。20,第3号,第91号论文,29页(2021;Zbl 1509.81255) 全文: 内政部 arXiv公司 哈尔
彼得·宁贝;本杰明·阿苏巴姆·韦约里;Yeng,Prosper Kandabongee 量子经典密码翻译的框架。 (英语) Zbl 1523.81056号 国际J.Theor。物理。 60,编号3,793-818(2021).MSC公司:81页94 81页68 PDF格式BibTeX公司 XML格式引用 \textit{P.Nimbe}等人,国际期刊Theor。物理。60,编号3,793--818(2021;Zbl 1523.81056) 全文: 内政部
戴桂平 KMB09协议的正式验证。 (英语) Zbl 1468.81029号 国际J.Theor。物理。 58,第11号,3651-3657(2019).MSC公司:81页68 PDF格式BibTeX公司 XML格式引用 \textit{G.Dai},国际期刊Theor。物理。58,第11号,3651--3657(2019;Zbl 1468.81029) 全文: 内政部
王勇 量子过程代数中的纠缠。 (英语) 兹比尔1468.81017 国际J.Theor。物理。 58,第11号,3611-3626(2019).MSC公司:81页40页 PDF格式BibTeX公司 XML格式引用 \textit{Y.Wang},国际期刊Theor。物理。58,第11号,3611--3626(2019;Zbl 1468.81017) 全文: 内政部 arXiv公司
王勇 概率过程代数,用于统一封闭系统中的量子计算和经典计算。 (英语) Zbl 1428.81062号 国际J.Theor。物理。 58,第10号,3436-3509(2019).MSC公司:81页68 68周01 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{Y.Wang},国际期刊Theor。物理。58,第10号,3436-3509(2019;Zbl 1428.81062) 全文: 内政部 arXiv公司
王勇 将量子过程公理化,以统一量子计算和经典计算。 (英语) Zbl 1468.81032号 国际J.Theor。物理。 58,第10号,3295-3322(2019).MSC公司:81页68 81页第45页 PDF格式BibTeX公司 XML格式引用 \textit{Y.Wang},国际期刊Theor。物理。58,第10号,3295-3322(2019;Zbl 1468.81032) 全文: 内政部 arXiv公司
Jort Martinus Bergfeld;约书亚·萨克 推导量子程序概率逻辑中量子协议的正确性。 (英语) Zbl 1387.81146号 软计算。 21,第6期,1421-1441(2017).MSC公司:81页68 81页第10页 03G12号机组 PDF格式BibTeX公司 XML格式引用 \textit{J.M.Bergfeld}和\textit{J.Sack},软计算。21,第6号,1421--1441(2017;Zbl 1387.81146) 全文: 内政部
任兴田;王勇;戴桂平 具有优先级的量子过程代数。 (英语) Zbl 1383.81060号 国际J.Theor。物理。 56,第8号,2601-2606(2017).MSC公司:81页68 2012年第68季度 2005年第81季度 PDF格式BibTeX公司 XML格式引用 \textit{X.Ren}等人,国际期刊Theor。物理。56,第8号,2601--2606(2017;Zbl 1383.81060) 全文: 内政部
一郎·哈索;北彦浩弘 通过相互作用几何的高阶量子计算的语义。 (英语) Zbl 1422.68161号 Ann.纯粹应用。逻辑 168,第2号,404-469(2017).MSC公司:68问题55 03B70号 18个C20 18 C50 2005年第68季度 81页68 PDF格式BibTeX公司 XML格式引用 \textit{I.Hasuo}和\textit{N.Hoshino},Ann.纯粹应用。逻辑168,No.2,404--469(2017;Zbl 1422.68161) 全文: 内政部 arXiv公司
安德烈亚斯·胡尔辛;Joost Rijneveld公司;宋芳 在基于哈希的签名中缓解多目标攻击。 (英语) Zbl 1388.94092号 Cheng,Chen-Mou(编辑)等,公开密钥加密——PKC 2016。2016年3月6日至9日,第19届IACR公开密钥加密实践与理论国际会议,台湾台北。诉讼程序。第一部分柏林:施普林格出版社(ISBN 978-3-662-49383-0/pbk;978-3-562-49384-7/ebook)。计算机科学讲座笔记9614,387-416(2016)。MSC公司:94A62型 81页94 PDF格式BibTeX公司 XML格式引用 \textit{A.Hülsing}等人,Lect。注释计算。科学。9614,387--416(2016;Zbl 1388.94092) 全文: 内政部 链接
萨姆森·艾布拉姆斯基;多米尼克·霍斯曼 DEMONIC编程:单粒子平衡热力学的计算语言及其形式语义。 (英语) Zbl 1477.80001号 Heunen,Chris(编辑)等人,《第十二届量子物理与逻辑国际研讨会论文集》,QPL'15,英国牛津,2015年7月15日至17日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)195,1-16(2015)。MSC公司:80-04 68甲15 68问题55 第81页,共13页 80A10号 03B70号 81页68 PDF格式BibTeX公司 XML格式引用 \textit{S.Abramsky}和\textit{D.Horsman},电子。程序。西奥。计算。科学。(EPTCS)195,1--16(2015;Zbl 1477.80001) 全文: arXiv公司 链接
吉勒拉克,罗马人;马雷克·索尔文 广义量子最弱的前提条件。 (英语) 兹比尔1197.81047 量子信息处理。 9,第4期,441-449(2010).MSC公司:81页第10页 第81页,共15页 28个B05 46国集团10 PDF格式BibTeX公司 XML格式引用 \textit{R.Gielerak}和\textit{M.Sawerwain},量子信息处理。9,第4号,441--449(2010;Zbl 1197.81047) 全文: 内政部 arXiv公司
马雷克·索尔文;吉勒拉克,罗马人 带有谓词的自然量子操作语义。 (英语) Zbl 1200.68118号 国际期刊申请。数学。计算。科学。 18,第3号,341-359(2008).MSC公司:2005年第68季度 68号30 第68季度10 68问题55 81页68 PDF格式BibTeX公司 XML格式引用 \textit{M.Sawerwain}和\textit{R.Gielerak},国际期刊应用。数学。计算。科学。18,第3号,341--359(2008;Zbl 1200.68118) 全文: 内政部 欧洲DML
伯恩哈德·奥默 量子编程中的经典概念。 (英语) Zbl 1119.81316号 国际J.Theor。物理。 44,第7期,943-955(2005).MSC公司:81页68 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Ømer},国际期刊Theor。物理。44,第7号,943--955(2005;Zbl 1119.81316) 全文: 内政部 arXiv公司
诺里希罗·卡米德 对合量子数的Gentzen型计算。 (英语) Zbl 1089.81007号 国际J.Theor。物理。 44,第4期,399-428(2005).MSC公司:81页第10页 PDF格式BibTeX公司 XML格式引用 \textit{N.Kamide},国际期刊Theor。物理。44,第4号,399--428(2005;Zbl 1089.81007) 全文: 内政部
保罗·祖利亚尼 编译量子程序。 (英语) Zbl 1079.68020号 学报信息。 41,编号7-8,435-474(2005).MSC公司:第68页第20页 2005年第68季度 81页68 PDF格式BibTeX公司 XML格式引用 \textit{P.Zuliani},《情报法》第41卷,第7-8期,第435页,第474页(2005年;兹bl 1079.68020) 全文: 内政部