雷霍特,乔纳斯·沃尔珀斯;罗伯特·格莱克;马蒂斯·克鲁斯 走向去可逆化:静态地减少断言。 (英语) Zbl 07786598号 Kutrib,Martin(编辑)等人,《可逆计算》。2023年7月18日至19日,第15届国际会议,RC 2023,德国基森。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13960, 106-114 (2023).MSC公司:2009年第68季度 2010年第68季度 81页68 PDF格式BibTeX公司 XML格式引用 \textit{J.W.Reholt}等人,Lect。注释计算。科学。13960、106-114(2023;Zbl 07786598) 全文: 内政部
克利斯朵夫·查尔顿;塞巴斯蒂安·巴丁;弗朗索瓦·博博特;瓦伦丁·佩雷尔;贝诺缬氨酸 用于电路构建量子程序的自动演绎验证框架。 (英语) Zbl 1473.68106号 Yoshida,Nobuko(编辑),《编程语言和系统》。2021年3月27日至4月1日,作为欧洲软件理论与实践联合会议(ETAPS 2021)的一部分,在卢森堡卢森堡市举行了第30届欧洲编程研讨会(ESOP 2021)。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。第12648148-177页(2021)。MSC公司:60年第68季度 68号30 2012年第68季度 81页68 PDF格式BibTeX公司 XML格式引用 \textit{C.Chareton}等人,Lect。注释计算。科学。12648、148--177(2021年;Zbl 1473.68106) 全文: 内政部 arXiv公司
卢卡·保里尼;毛罗·皮科洛;玛格丽塔·佐齐 高阶语言和量子电路。 (英语) Zbl 1468.68049号 J.自动化。推理 63,第4期,941-966(2019).MSC公司:68甲15 81页65 81页68 PDF格式BibTeX公司 XML格式引用 \textit{L.Paolini}等人,J.Autom。推理63,第4号,941-966(2019;Zbl 1468.68049) 全文: 内政部 arXiv公司
大卫·法拉利;米歇尔·阿莫雷蒂 IBM Q设备上基于纠缠的机器学习的高效量子编译。 (英语) Zbl 1407.81061号 国际量子信息。 16,第8号,文章ID 1840006,15 p.(2018).MSC公司:81页68 81页40页 68T05型 94C05(二氧化碳) PDF格式BibTeX公司 XML格式引用 \textit{D.Ferrari}和\textit{M.Amoretti},国际期刊Quantum Inf.16,No.8,文章ID 1840006,15 p.(2018;Zbl 1407.81061) 全文: 内政部 arXiv公司
阿布拉耶夫,法里德;亚历山大·瓦西里耶夫 通过量子散列计算布尔函数。 (英语) Zbl 1323.68266号 Calude,Cristian S.(编辑)等人,《使用新资源进行计算》。在乔泽夫·格鲁斯卡80岁生日之际,为他撰写的论文。查姆:施普林格(ISBN 978-3-319-13349-2/pbk;978-3-316-13350-8/电子书)。计算机科学课堂讲稿8808149-160(2014)。MSC公司:2005年第68季度 81页68 PDF格式BibTeX公司 XML格式引用 \textit{F.Ablayev}和\textit{A.Vasiliev},莱克特。注释计算。科学。8808149-160(2014年;兹比尔1323.68266) 全文: 内政部
奚正军;李永明;王欣 弱正则量子文法和异步量子自动机。 (英语) Zbl 1162.81357号 国际J.Theor。物理学。 48,第2期,357-368(2009).MSC公司:81页68 05年3月 第68季度第45季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Z.Xi}等人,国际期刊Theor。物理学。48,第2号,357--368(2009;Zbl 1162.81357) 全文: 内政部