罗伯特·格莱克;伊万·拉内斯;克劳迪奥·安塔雷斯·梅齐纳;亚洛斯·阿·亚当·米兹扎克;菲利普斯,伊恩;伊雷克·乌利多夫斯基;德国维达尔 朝向可逆计算方法的分类。 (英语) 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 07527764号 西奥。计算。科学。 920, 46-63 (2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \文本{R.Glück}等人,Theor。计算。科学。920、46-63(2022;Zbl 07527764) 全文: 内政部
Maja Hanne Kirkeby;罗伯特·格莱克 条件构造函数项重写系统的半嵌入。 (英语) Zbl 1502.68152号 Gabbrielli,Maurizio(编辑),基于逻辑的程序合成和转换。2019年10月8日至10日,第29届国际研讨会,2019年LOPSTR,葡萄牙波尔图。修订了选定的论文。查姆:斯普林格。莱克特。注释计算。科学。12042, 243-259 (2020).MSC公司:2012年第68季度 68N17号 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{M.H.Kirkeby}和\textit{R.Glück},莱克特。注释计算。科学。12042,243-259(2020;Zbl 1502.68152) 全文: 内政部
罗伯特·格莱克;罗宾·卡斯加德 结构化可逆流程图语言的分类基础。 (英语) Zbl 1525.68025号 Silva,Alexandra(编辑),第33届编程语义数学基础会议论文集(MFPS XXXII),斯洛文尼亚卢布尔雅那,2017年6月12-15日。阿姆斯特丹:爱思唯尔。电子。理论注释。计算。科学。336, 155-171 (2018).MSC公司:68号30 18立方厘米50 68甲15 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{R.Glück}和\textit{R.Kaarsgaard},电子。理论注释。计算。科学。336155--171(2018年;Zbl 1525.68025) 全文: 内政部
罗伯特·格莱克;罗宾·卡尔斯加德 结构化可逆流程图语言的分类基础:可靠性和充分性。 (英语) Zbl 1398.68082号 日志。方法计算。科学。 14,第3号,第16号论文,第38页(2018).MSC公司:68甲15 18立方厘米50 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{R.Glück}和\textit{R.Kaarsgaard},Log。方法计算。科学。14,第3号,第16号论文,38页(2018;Zbl 1398.68082) 全文: 内政部 arXiv公司
罗宾·卡斯加德;博克·阿克塞尔森,霍尔格;罗伯特·格莱克 连接逆范畴和可逆递归。 (英语) Zbl 1359.68045号 J.日志。阿尔盖布。方法计划。 87, 33-50 (2017).MSC公司:68甲18 18立方厘米50 18D20天 68问题55 第68季度第65季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Kaarsgaard}等人,J.Log。阿尔盖布。方法计划。87、33-50(2017年;Zbl 1359.68045) 全文: 内政部