伊万·拉内斯;直纪西田;阿德里安·帕拉西奥斯;德国维达尔 二郎的可逆性理论。 (英语) Zbl 1400.68046号 J.日志。阿尔盖布。方法计划。 100, 71-97 (2018).MSC公司:68甲15 68甲18 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{I.Lanese}等人,J.Log。阿尔盖布。方法计划。100,71-97(2018;Zbl 1400.68046) 全文: 内政部 arXiv公司 链接
直纪西田;阿德里安·帕拉西奥斯;德国维达尔 项重写中的可逆计算。 (英语) Zbl 1381.68107号 J.日志。阿尔盖布。方法计划。 94, 128-149 (2018).MSC公司:2012年第68季度 68号30 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Nishida}等人,J.Log。阿尔盖布。方法计划。94、128——149(2018年;Zbl 1381.68107) 全文: 内政部 arXiv公司 链接
直纪西田;德国维达尔 计算有限SLD树的框架。 (英语) Zbl 1319.68055号 J.日志。阿尔盖布。方法计划。 84,第2期,197-217(2015).MSC公司:68N17号 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{N.Nishida}和\textit{G.Vidal},J.Log。阿尔盖布。方法计划。84,第2号,197--217(2015;Zbl 1319.68055) 全文: 内政部