主人,杰德 基于Lawvere理论的Petri网。 (英文) Zbl 1492.68097号 数学。结构。计算。科学。 30,第7期,833-864(2020).MSC公司:第68季度85 18A22型 18A40型 18立方厘米 2005年5月18日 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{J.Master},数学。结构。计算。科学。30,第7号,833--864(2020;Zbl 1492.68097) 全文: 内政部 arXiv公司
弗兰克·赫尔曼;安德烈亚·科拉迪尼;哈特穆特·埃里格 负应用条件下(mathcal{M})-粘着变换系统的置换等价性分析。 (英文) Zbl 1342.68179号 数学。结构。计算。科学。 24,第4号,文章ID e240409,47页(2014).MSC公司:2012年第68季度 18B20型 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{F.Hermann}等人,《数学》。结构。计算。科学。24,第4号,文章ID e240409,47页(2014;Zbl 1342.68179) 全文: 内政部
保罗·巴尔丹;安德烈亚·科拉迪尼;托拜厄斯·海因德尔;巴巴拉·科尼格;巴布亚州索波辛斯基 过程和展开:粘合剂类别中的并发计算。 (英文) Zbl 1342.68223号 数学。结构。计算。科学。 24,第4号,文章ID e240402,51 p.(2014).MSC公司:第68季度85 18A35型 18A40型 18B20型 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Baldan}等人,数学。结构。计算。科学。24,第4号,文章ID e240402,51 p.(2014;Zbl 1342.68223) 全文: 内政部