托马斯·维洛兹;巴勃罗·拉泽托 状态上下文属性形式主义:从概念理论到音乐语义。 (英语) 兹比尔1383.81016 软计算。 第6期第21期,1505-1513页(2017年).MSC公司:81第05页 00A65号 PDF格式BibTeX公司 XML格式引用 \textit{T.Veloz}和\textit{P.Razeto},软计算。21,第6号,1505--1513(2017;Zbl 1383.81016) 全文: DOI程序
朱塞佩·塞尔吉奥利;安东尼奥·莱达 关于多值量子计算逻辑的注记。 (英语) Zbl 1387.81173号 软计算。 21,第6号,1391-1400(2017).MSC公司:81页68 81页第10页 03G12号机组 PDF格式BibTeX公司 XML格式引用 \textit{G.Sergioli}和\textit{A.Ledda},软计算。21,第6号,1391--1400(2017;Zbl 1387.81173) 全文: DOI程序 arXiv公司
朱利亚·巴蒂洛蒂 谓词逻辑中量子态的特征。 (英语) Zbl 1244.81005号 国际J.Theor。物理学。 50,第12号,3669-3681(2011).MSC公司:81页第10页 第81页,共15页 03B05号 81第05页 第81页,共16页 PDF格式BibTeX公司 XML格式引用 \textit{G.巴蒂洛蒂},国际期刊Theor。物理学。50,第12号,3669-3681(2011;Zbl 1244.81005) 全文: DOI程序 arXiv公司
Dvurečenskij,A。;吉安蒂尼,R。;科瓦尔斯基,T。 量子逻辑中伪BL-代数和伪环的结构。 (英语) Zbl 1227.81012号 已找到。物理学。 40,编号9/10,1519-1542(2010). 审核人:霍斯特·桑比恩(加布森) MSC公司:81页第10页 05年6月 03B50号 03G12号机组 81-02 PDF格式BibTeX公司 XML格式引用 \textit{A.Dvurečenskij}等人,发现。物理学。40,编号9/10,1519--1542(2010;Zbl 1227.81012) 全文: DOI程序
朱利亚·巴蒂洛蒂 用序列解释量子并行性。 (英语) Zbl 1204.81043号 国际J.Theor。物理学。 49,第12期,3022-3029(2010).MSC公司:81页68 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Battilotti},国际J.Theor。物理学。49,编号:123022-3029(2010年;Zbl 1204.81043) 全文: DOI程序
亚历山大·巴尔塔格;斯梅茨,索尼娅 相关知识:量子纠缠的认知逻辑观点。 (英语) Zbl 1204.81025号 国际J.Theor。物理学。 49,第12号,3005-3021(2010).MSC公司:81页40页 81第05页 PDF格式BibTeX公司 XML格式引用 \textit{A.Baltag}和\textit{S.Smets},国际期刊Theor。物理学。49,第12号,3005--3021(2010;Zbl 1204.81025) 全文: DOI程序 OA许可证
Dalla Chiara,玛丽亚·路易莎;罗伯托·吉安蒂尼;赫克托·弗雷特斯;安东尼奥·莱达;朱塞佩·塞尔吉奥利 量子计算门的近似通用系统的代数结构。 (英语) Zbl 1235.81049号 已找到。物理学。 39,第6号,559-572(2009).MSC公司:81页68 81页第10页 PDF格式BibTeX公司 XML格式引用 \textit{M.L.Dalla Chiara}等人,发现。物理学。39,第6号,559--572(2009;Zbl 1235.81049) 全文: DOI程序
Dalla Chiara,玛丽亚·路易莎;罗伯托·吉安蒂尼;罗伯托·勒波里尼;朱利亚诺·托拉尔多(Giuliano Toraldo di Francia) 量子计算逻辑和可能的应用。 (英语) Zbl 1145.81018号 国际J.Theor。物理学。 47,第1号,44-60(2008).MSC公司:81页68 81页第10页 2005年第68季度 18 C50 PDF格式BibTeX公司 XML格式引用 \textit{M.L.Dalla Chiara}等人,国际期刊Theor。物理学。47,第1号,44-60(2008年;兹bl 1145.81018) 全文: DOI程序
Dalla Chiara,玛丽亚·路易莎;罗伯托·吉安蒂尼;罗伯托·勒波里尼 量子计算和量子计算逻辑中的可逆性和不可逆性。 (英语) Zbl 1122.68055号 Aguzzoli,Stefano(编辑)等,非经典逻辑的代数和证明理论方面。纪念丹尼尔·蒙迪奇60岁生日的论文。柏林:施普林格出版社(ISBN 978-3-540-75938-6/pbk)。计算机科学课堂讲稿4460。《人工智能课堂讲稿》,84-106(2007)。MSC公司:2005年第68季度 03G12号机组 81页68 PDF格式BibTeX公司 XML格式引用 \textit{M.L.Dalla Chiara}等人,Lect。注释计算。科学。4460,84-106(2007;Zbl 1122.68055) 全文: DOI程序
邱道文 基于量子逻辑的自动机理论:可逆性和下推自动机。 (英语) Zbl 1137.68036号 西奥。计算。科学。 386,编号1-2,38-56(2007).MSC公司:65年第68季度 81页68 81页第10页 2005年第68季度 03G12号机组 PDF格式BibTeX公司 XML格式引用 \文本{D.邱},Theor。计算。科学。386,编号1--2,38-56(2007;Zbl 1137.68036) 全文: DOI程序
Dalla Chiara,玛丽亚·路易莎;罗伯托·吉安蒂尼;罗伯托·勒波里尼 组合和整体量子计算语义。 (英语) Zbl 1120.68052号 自然计算。 6,第2期,113-132(2007).MSC公司:2010年第68季度 81页68 03G12号机组 PDF格式BibTeX公司 XML格式引用 \textit{M.L.Dalla Chiara}等人,《自然计算》。6,第2号,113--132(2007;Zbl 1120.68052) 全文: DOI程序 链接
格雷西拉·多梅内克;赫克托·弗雷特斯 与量子计算门相关的模糊命题逻辑。 (英语) Zbl 1107.81007号 国际J.Theor。物理学。 45,第1期,237-270(2006). 审核人:Anatolij Dvurečenskij(布拉迪斯拉发) MSC公司:81页第10页 03G12号机组 81页68 PDF格式BibTeX公司 XML格式引用 \textit{G.Domenech}和\textit{H.Freytes},国际期刊Theor。物理学。45,第1号,237--270(2006;Zbl 1107.81007) 全文: DOI程序 arXiv公司
安东尼奥·莱达;马丁瓦尔多·科尼格;弗朗西斯科·保利;罗伯托·吉安蒂尼 MV代数和量子计算。 (英语) Zbl 1102.06010号 双头螺栓日志。 82,第2期,245-270(2006). 审核人:Anatolij Dvurečenskij(布拉迪斯拉发) MSC公司:05年6月 81页68 PDF格式BibTeX公司 XML格式引用 \textit{A.Ledda}等人,研究日志。82,No.2,245--270(2006;Zbl 1102.06010) 全文: DOI程序
Dalla Chiara,M.L.(医学博士)。;吉安蒂尼,R。;Gudder,S。;勒波里尼,R。 福克空间上的量子计算语义。 (英语) Zbl 1110.81039号 国际J.Theor。物理学。 44,第12期,2219-2230(2005).MSC公司:81页68 PDF格式BibTeX公司 XML格式引用 \textit{M.L.Dalla Chiara}等人,国际期刊Theor。物理学。44,第12号,2219--2230(2005;Zbl 1110.81039) 全文: DOI程序