尼古拉斯·贝尔;哈默(Russ Harmer);吉恩·克里文 作曲改写理论基础。 (英语) Zbl 07741959号 J.日志。阿尔盖布。方法计划。 135,文章ID 100893,78 p.(2023).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{N.Behr}等人,J.Log。阿尔盖布。方法计划。135,文章ID 100893,78 p.(2023;Zbl 07741959) 全文: 内政部 arXiv公司
尼古拉斯·贝尔;哈默(Russ Harmer);吉恩·克里文 非线性重写理论的并发定理。 (英语) Zbl 1489.68115号 Gadducci,Fabio(编辑)等人,《图形变换》。2021年6月24日至25日,第14届国际会议,ICGT 2021,作为STAF 2021虚拟活动的一部分举行。诉讼程序。查姆:斯普林格。莱克特。票据计算。科学。12741, 3-21 (2021).MSC公司:2012年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{N.Behr}等人,Lect。票据计算。科学。12741,3--21(2021;Zbl 1489.68115) 全文: 内政部 arXiv公司
哈默(Russ Harmer);尤金妮亚·奥舒尔科 层次结构中重写的可逆性和复合性。 (英语) Zbl 07456055号 Hoffmann,Berthold(ed.)等人,第十一届图形计算模型国际研讨会论文集,GCM 2020,在线车间,2020年6月24日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)330、145-162(2020)。MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{R.Harmer}和\textit{E.Oshurko},电子。程序。西奥。计算。科学。(EPTCS)330、145--162(2020;Zbl 07456055) 全文: arXiv公司 链接
埃丝特·格拉(编辑);费尔南多·奥雷贾斯(编辑) 第十二届图形变换国际会议专刊前言。 (英语) Zbl 1452.68009号 J.日志。阿尔盖布。方法计划。 115,文章ID 100576,2 p.(2020).MSC公司:68-06 2012年第68季度 68兰特 68立方英尺 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{E.Guerra}(编辑)和\textit{F.Orejas}(主编),J.Log。阿尔盖布。方法计划。115,文章ID 100576,2 p.(2020;Zbl 1452.68009) 全文: 内政部