罗伯特·格莱克;横山,铁雄 从编程语言的角度看可逆计算。 (英语) 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甲15 68甲19 68问题55 PDF格式BibTeX公司 XML格式引用 \文本{R.Glück}等人,Theor。计算。科学。920、46-63(2022;Zbl 07527764) 全文: 内政部
卢卡·保里尼;毛罗·皮科洛;卢卡·罗维斯 一类递归置换,它是原始递归完成的。 (英语) Zbl 1481.03031号 西奥。计算。科学。 813, 218-233 (2020).MSC公司:03D20日 2009年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Paolini}等人,Theor。计算。科学。813、218--233(2020年;Zbl 1481.03031) 全文: 内政部 链接
马丁·库特里布;安德烈亚斯·马尔彻 单向可逆多头有限自动机。 (英语) Zbl 1371.68156号 西奥。计算。科学。 682, 149-164 (2017).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kutrib}和\textit{A.Malcher},Theor。计算。科学。682149-164(2017年;Zbl 1371.68156) 全文: 内政部
伊万·拉内斯;克劳迪奥·安塔雷斯·梅齐纳;Jean-Bernard斯特凡尼 高阶(pi)演算中的可逆性。 (英语) Zbl 1338.68078号 西奥。计算。科学。 625, 25-84 (2016).MSC公司:第68季度10 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{I.Lanese}等人,Theor。计算。科学。625,25-84(2016年;兹比尔1338.68078) 全文: 内政部 哈尔
横山,铁雄;霍尔格·博克·阿克塞尔森;罗伯特·格莱克 可逆流程图语言基础。 (英语) Zbl 1332.68028号 西奥。计算。科学。 611, 87-115 (2016).MSC公司:68号30 68甲15 2005年第68季度 第68季度10 PDF格式BibTeX公司 XML格式引用 \textit{T.Yokoyama}等人,Theor。计算。科学。611,87-115(2016;Zbl 1332.68028) 全文: 内政部