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) 全文: 内政部 OA许可证
拉德·索鲁斯·拉菲;Elahe Shirinkalam;斯梅茨,索尼娅 量子投票协议的逻辑分析。 (英语) Zbl 1394.81022号 国际J.理论。物理学。 56,第12号,3991-4003(2017).MSC公司:81页第10页 03G12号机组 81页68 PDF格式BibTeX公司 XML格式引用 \textit{S.R.Rad}等人,国际期刊Theor。物理学。56,第12号,3991--4003(2017;Zbl 1394.81022) 全文: 内政部
亚历山大·巴尔塔格;斯梅茨,索尼娅 信息交互的逻辑。 (英语) Zbl 1336.03020号 J.菲洛斯。日志。 44,第6期,595-607(2015).MSC公司:03B42号 03G12号机组 PDF格式BibTeX公司 XML格式引用 \textit{A.Baltag}和\textit{S.Smets},J.Philos。日志。44,第6号,595--607(2015;Zbl 1336.03020) 全文: 内政部 OA许可证