罗伯特·格莱克;横山,铁雄 从编程语言的角度看可逆计算。 (英文) 兹比尔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) 全文: 内政部 OA许可证
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 1473.68214号 信息处理。莱特。 147, 32-37 (2019).MSC公司:68周05 68第05页 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{R.Glück}和\textit{T.横山},Inf.过程。莱特。147、32-37(2019年;Zbl 1473.68214) 全文: 内政部
罗伯特·格莱克;罗宾·卡斯加德 结构化可逆流程图语言的分类基础:可靠性和充分性。 (英文) 兹比尔1398.68082 日志。方法计算。科学。 14,第3号,第16号论文,38页(2018).MSC公司:68甲15 18 C50 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 C50 18D20天 68问题55 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{R.Kaarsgaard}等人,J.Log。代数。方法计划。87、33-50(2017年;Zbl 1359.68045) 全文: 内政部
霍尔格·博克·阿克塞尔森;罗伯特·格莱克 关于可逆图灵机及其函数的普适性。 (英文) 兹比尔1348.68051 学报信息。 53,第5号,509-543(2016). 审核人:格雷戈里·洛伦·麦科姆(坦帕) MSC公司:2005年第68季度 03日第10天 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.B.Axelsen}和\textit{R.Glück},《学报》第53期,第5期,第509--543页(2016;Zbl 1348.68051) 全文: 内政部
横山,铁雄;霍尔格·博克·阿克塞尔森;罗伯特·格莱克 可逆流程图语言基础。 (英文) Zbl 1332.68028号 理论。计算。科学。 611, 87-115 (2016).MSC公司:68号30 68甲15 2005年第68季度 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Yokoyama}等人,Theor。计算。科学。611,87-115(2016;Zbl 1332.68028) 全文: 内政部
罗伯特·格莱克 自我生成的程序专业人员。 (英文) Zbl 1234.68077号 信息处理。莱特。 110,第17号,787-793(2010).MSC公司:68号30 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{R.Glück},Inf.过程。莱特。110,第17号,787--793(2010;Zbl 1234.68077) 全文: 内政部
罗伯特·格莱克 Jones最优性和BTI泛特化子的研究。 (英文) Zbl 1188.68112号 高-订购符号。计算。 21,第3号,283-309(2008).MSC公司:68N99型 PDF格式BibTeX公司 XML格式引用 \textit{R.Glück},高-订购符号。计算。21,第3号,283--309(2008;Zbl 1188.68112) 全文: 内政部