大卫·卡斯特尔诺沃;法比奥·加杜奇;马里诺·米库兰 (mathcal{M},mathcal})-粘附性的简单判据。 (英语) Zbl 07809118号 西奥。计算。科学。 982,文章ID 114280,40 p.(2024).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{D.Castelnovo}等人,Theor。计算。科学。982,文章ID 114280,40页(2024;Zbl 07809118) 全文: 内政部
尼古拉斯·贝尔;哈默(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公司
Jean-Pierre Jouannaud;费尔南多·奥雷贾斯 拖曳的统一和拖曳改写的汇合。 (英语) Zbl 07649242号 J.日志。代数。方法计划。 131,文章ID 100845,26 p.(2023).MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.-P.Jouannaud}和\textit{F.Orejas},J.Log。代数。方法计划。131,文章ID 100845,26 p.(2023;Zbl 07649242) 全文: 内政部
大卫·卡斯特尔诺沃;法比奥·加杜奇;马里诺·米库兰 (mathcal{M},mathcal})-粘附性的一个新判据及其在层次图中的应用。 (英语) Zbl 07793030号 Patricia Bouyer等人,《软件科学和计算结构基础》。第25届国际会议FOSSACS 2022,作为欧洲软件理论与实践联合会议ETAPS 2022的一部分,于2022年4月2日至7日在德国慕尼黑举行。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13242, 205-224 (2022).MSC公司:68新元 68季度xx PDF格式BibTeX公司 XML格式引用 \textit{D.Castelnovo}等人,Lect。注释计算。科学。13242、205-224(2022;Zbl 07793030) 全文: 内政部 arXiv公司
迪奥戈·拉斐尔·克拉沃;莱拉·里贝罗 使用图形语法的模块集成(MIGRATE)。 (英语) Zbl 1498.68072号 Campos,Sérgio(编辑)等人,《形式方法:基础和应用》。第24届巴西研讨会,SBMF 2021,虚拟活动,2021年12月6日至10日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13130, 87-103 (2021).MSC公司:68号30 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.R.Cravo}和\textit{L.Ribeiro},莱克特。注释计算。科学。13130,87-103(2021;Zbl 1498.68072) 全文: 内政部 链接
莱恩·兰伯斯;费尔南多·奥雷贾斯 具有嵌套应用条件的转换规则:关键对、初始冲突和极小性。 (英语) Zbl 1517.68163号 西奥。计算。科学。 884, 44-67 (2021).MSC公司:2012年第68季度 18B50型 PDF格式BibTeX公司 XML格式引用 \textit{L.Lambers}和\textit{F.Orejas},Theor。计算。科学。884、44-67(2021年;Zbl 1517.68163) 全文: 内政部
莱恩·兰伯斯;费尔南多·奥雷贾斯 转换规则与嵌套应用程序条件的初始冲突。 (英语) Zbl 1502.68156号 Gadducci,Fabio(编辑)等人,《图形变换》。2020年6月25日至26日在挪威卑尔根举行的第13届国际会议,ICGT 2020,作为STAF 2020的一部分。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12150, 109-127 (2020).MSC公司:2012年第68季度 18B50型 PDF格式BibTeX公司 XML格式引用 \textit{L.Lambers}和\textit{F.Orejas},Lect。注释计算。科学。12150109-127(2020年;Zbl 1502.68156) 全文: 内政部 arXiv公司
延斯·科索尔;弗里奇,拉尔斯;安迪·舒尔;加布里埃尔·坦泽尔 笛卡尔函子范畴中的双推重写:重写理论及其在部分三重图中的应用。 (英语) Zbl 1452.68096号 J.日志。代数。方法计划。 115,文章ID 100565,34 p.(2020).MSC公司:2012年第68季度 18A25型 18A30型 PDF格式BibTeX公司 XML格式引用 \textit{J.Kosiol}等人,J.Log。代数。方法计划。115,文章ID 100565,34 p.(2020;Zbl 1452.68096) 全文: 内政部
尼古拉斯·贝尔;巴布亚州索波辛斯基 粘合类别的规则代数。 (英语) Zbl 1444.68083号 日志。方法计算。科学。 16,第3号,第2号论文,38页(2020年).MSC公司:2012年第68季度 18A30型 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{N.Behr}和\textit{P.Sobocinn ski},Log。方法计算。科学。16,第3号,第2号文件,38页(2020;兹bl 1444.68083) 全文: arXiv公司 链接
莱恩·兰伯斯(编辑);詹斯·韦伯(编辑) 第十一届图形变换国际会议专刊前言。 (英语) Zbl 1433.68022号 J.日志。代数。方法计划。 112,文章ID 100525,2 p.(2020).MSC公司:68-06 2012年第68季度 65年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{L.Lambers}(编辑)和\textit{J.Weber}(主编),J.Log。代数。方法计划。112,文章ID 100525,2 p.(2020;Zbl 1433.68022) 全文: 内政部