×

找到6个文档(结果1-6)

走向去可逆化:静态地减少断言。 (英语) Zbl 07786598号

Kutrib,Martin(编辑)等人,《可逆计算》。2023年7月18日至19日,第15届国际会议,RC 2023,德国基森。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13960, 106-114 (2023).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

用于电路构建量子程序的自动演绎验证框架。 (英语) Zbl 1473.68106号

Yoshida,Nobuko(编辑),《编程语言和系统》。2021年3月27日至4月1日,作为欧洲软件理论与实践联合会议(ETAPS 2021)的一部分,在卢森堡卢森堡市举行了第30届欧洲编程研讨会(ESOP 2021)。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。第12648148-177页(2021)。
PDF格式BibTeX公司 XML格式引用

通过量子散列计算布尔函数。 (英语) 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格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份