尼古拉斯·贝尔;哈默(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公司
尼古拉斯·贝尔 复合重写系统的痕迹和痕迹分析。 (英语) Zbl 07453970号 Baez,John(ed.)等人,《2019年应用范畴理论学报》,ACT 2019,英国牛津大学,2019年7月15日至19日。滑铁卢:开放出版协会(OPA)。电子。程序。理论。计算。科学。(EPTCS)32344-71(2020年)。MSC公司:68倍 2018年XX月18日 PDF格式BibTeX公司 XML格式引用 \textit{N.Behr},电子。程序。理论。计算。科学。(EPTCS)323、44--71(2020;Zbl 07453970) 全文: arXiv公司 链接
尼古拉斯·贝尔;巴布亚州索波辛斯基 粘合类别的规则代数。 (英语) Zbl 1444.68083号 日志。方法计算。科学。 16,第3号,第2号论文,38页(2020年).MSC公司:2012年第68季度 18岁30岁 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{N.Behr}和\textit{P.Sobocinn ski},Log。方法计算。科学。16,第3号,第2号论文,38页(2020年;Zbl 1444.68083) 全文: arXiv公司 链接
尼古拉斯·贝尔 Sesqui-pushout重写:并发性、关联性和规则代数框架。 (英语) Zbl 07453087号 Echahed,Rachid(ed.)等人,《第十届图形计算模型国际研讨会论文集》,GCM 2019,荷兰埃因霍温,2019年7月17日。滑铁卢:开放出版协会(OPA)。电子。程序。理论。计算。科学。(EPTCS)309,23-52(2019)。MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{N.Behr},电子。程序。理论。计算。科学。(EPTCS)309,23-52(2019;Zbl 07453087) 全文: arXiv公司 链接