罗伯特·格莱克;伊万·拉内斯;克劳迪奥·安塔雷斯·梅齐纳;亚洛斯·阿·亚当·米兹扎克;伊恩·菲利普斯;伊雷克·乌利多夫斯基;德国维达尔 对可逆计算方法进行分类。 (英语) Zbl 07786593号 Kutrib,Martin(编辑)等人,《可逆计算》。2023年7月18日至19日,第15届国际会议,RC 2023,德国基森。诉讼程序。查姆:斯普林格。莱克特。票据计算。科学。13960, 24-39 (2023).MSC公司:2009年第68季度 2010年第68季度 81页68 PDF格式BibTeX公司 XML格式引用 \textit{R.Glück}等人,Lect。票据计算。科学。13960,24-39(2023;Zbl 07786593) 全文: 内政部
罗伯特·格莱克;横山,铁雄 从编程语言的角度看可逆计算。 (英语) Zbl 07667524号 西奥。计算。科学。 953,文章ID 113429,26 p.(2023).MSC公司:68甲15 2009年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Glück}和\textit{T.横山},Theor。计算。科学。953,文章ID 113429,26 p.(2023;Zbl 07667524) 全文: 内政部
克莱门·奥伯特;爱荷华州克里斯特斯库 可逆性如何解决传统问题:以遗传历史保护相互模拟为例。 (英语) Zbl 07559463号 Konnov,Igor(编辑)等人,第31届并发理论国际会议。CONCUR 2020,2020年9月1日至4日,奥地利维也纳,虚拟会议。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。171,第7条,第23页(2020)。MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{C.Aubert}和\textit{I.Cristescu},LIPIcs——莱布尼茨国际程序。通知。171,第7条,23 p.(2020;Zbl 07559463) 全文: 内政部 arXiv公司
阿提拉·巴戈西;吉尔吉斯·瓦西尔 用反应系统模拟可逆计算。 (英语) Zbl 1469.68022号 J.成员。计算。 179-193年第3期第2期(2020年).MSC公司:2007年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Bagossy}和\textit{G.Vaszil},J.Membr。计算。2,编号3,179--193(2020;Zbl 1469.68022) 全文: 内政部
卢卡·保里尼;毛罗·皮科洛;卢卡·罗维斯 一类递归置换,它是原始递归完成的。 (英语) Zbl 1481.03031号 西奥。计算。科学。 813218-233(2020).MSC公司:03D20日 2009年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Paolini}等人,Theor。计算。科学。813、218--233(2020年;Zbl 1481.03031) 全文: 内政部 链接
阿曼多·马托斯(Armando B.Matos)。;卢卡·保里尼;卢卡·罗维斯 简单可逆语言的不动点问题。 (英语) Zbl 1433.68079号 西奥。计算。科学。 813, 143-154 (2020).MSC公司:68甲15 03B70号 68号30 2009年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.B.Matos}等人,Theor。计算。科学。813、143--154(2020年;Zbl 1433.68079) 全文: 内政部 链接