×

找到7个文档（结果1-7）

最新的 引文 关联
克莱门·奥伯特;彼得·布朗宁

可逆分布式微积分的实现。 （英语） Zbl 07786603号

Kutrib，Martin（编辑）等人，《可逆计算》。2023年7月18日至19日，第15届国际会议，RC 2023，德国基森。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13960, 210-217 (2023).
MSC公司：2009年第68季度 2010年第68季度 81第68页
PDF格式BibTeX公司 XML格式引用
\textit{C.Aubert}和\textit{P.Browning}，莱克特。注释计算。科学。13960、210-217（2023；Zbl 07786603）
全文： 内政部 哈尔
克莱门·奥伯特

可逆并发计算中的复制。 （英语） Zbl 07786592号

Kutrib，Martin（编辑）等人，《可逆计算》。2023年7月18日至19日，第15届国际会议，RC 2023，德国基森。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13960, 15-23 (2023).
MSC公司：2009年第68季度 2010年第68季度 81第68页
PDF格式BibTeX公司 XML格式引用
\textit{C.Aubert}，莱克特。注释计算。科学。13960，15--23（2023；Zbl 07786592）
全文： 内政部 哈尔
安娜·施密特;柯斯汀·彼得斯;邓玉欣

量子系统的可编码性标准。 （英语） Zbl 1499.68234号

Mousavi，Mohammad Reza（编辑）等人，分布式对象、组件和系统的形式化技术。第42届IFIP WG 6.1国际会议，FORTE 2022，作为第17届分布式计算技术国际联合会议的一部分，于2022年6月13日至17日在意大利卢卡举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13273, 151-169 (2022).
MSC公司：68问题85 81第68页
PDF格式BibTeX公司 XML格式引用
\textit{A.Schmitt}等人，Lect。注释计算。科学。13273151-169（2022年；Zbl 1499.68234）
全文： 内政部 arXiv公司
易卜拉欣·阿尔德斯希尔·拉里贾尼;西蒙·盖伊。;拉贾戈帕尔·纳加拉扬

并发量子系统的自动等价性检查。 （英语） Zbl 1407.68276号

ACM事务处理。计算。日志。 第19条第4款第28条第32页（2018年）.
MSC公司：60年第68季度 第68季度12 68问题85 81页第45页 81第68页
PDF格式BibTeX公司 XML格式引用
\textit{E.Ardeshir-Larijani}等人，ACM Trans。计算。日志。19，第4号，第28条，第32页（2018；Zbl 1407.68276）
全文： 内政部 链接
邓玉欣;冯、袁;乌戈·达尔拉戈

关于共还原和量子lambda计算。 （英语） Zbl 1374.68097号

Aceto，Luca（编辑）等人，第26届并发理论国际会议，CONCUR’15，西班牙马德里，2015年9月1日至4日。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-91-0）。LIPIcs–莱布尼茨国际信息学论文集42，427-440（2015）。
MSC公司：68甲18 68问题85 81第68页
PDF格式BibTeX公司 XML格式引用
\textit{Y.Deng}等人，LIPIcs——莱布尼茨国际程序。通知。42427--440（2015年；Zbl 1374.68097）
全文： 内政部
J.戈夫。

玻色和费米子白噪声和反射过程。 （英语。俄文原件） Zbl 1031.81541号

西奥。数学。物理。 124，第1期，887-896（2000）; 来自Teor的翻译。材料Fiz。124，第1号，36-47（2000年）。
MSC公司：81S25美元 40年第35季度 35卢比60 46牛顿50 2005年6月60日 60小时40
PDF格式BibTeX公司 XML格式引用
\textit{J.Gough}，Theor（西奥）。数学。物理学。124，第1号，887--896（2000；Zbl 1031.81541）；来自Teor的翻译。材料Fiz。124，第1号，36-47（2000）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件