罗伯特·格莱克;罗宾·卡尔斯加德 结构化可逆流程图语言的分类基础:可靠性和充分性。 (英语) Zbl 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) 全文: 内政部