约翰·C·贝兹。;主人,杰德 打开Petri网。 (英语) Zbl 1457.68177号 数学。结构。计算。科学。 30,第3期,314-341(2020). 审核人:Hirokazu Nishimura(筑波) MSC公司:68问题85 18 C50 2005年5月18日 18N10型 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{J.C.Baez}和\textit{J.Master},数学。结构。计算。科学。30,第3号,314--341(2020;Zbl 1457.68177) 全文: 内政部 arXiv公司
迭戈·卡尔瓦内斯;西尔维奥·吉拉尔迪;亚历山德罗·吉亚诺拉;马可·蒙塔利;安德烈·里夫金 基于SMT的数据软件过程验证:一种模型理论方法。 (英语) Zbl 1495.68129号 数学。结构。计算。科学。 30,第3期,271-313(2020年).MSC公司:60年第68季度 03B70号 03C98号 第68页,共15页 PDF格式BibTeX公司 XML格式引用 \textit{D.Calvanee}等人,数学。结构。计算。科学。30,第3号,271--313(2020;Zbl 1495.68129) 全文: 内政部
安德烈亚斯·布拉斯;尤里·古雷维奇 见证代数和任意数编织。 (英语) Zbl 1495.81024号 数学。结构。计算。科学。 30,第3期,234-270(2020年).MSC公司:81页68 18平方米 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Blass}和\textit{Y.Gurevich},数学。结构。计算。科学。30,第3号,234--270(2020;Zbl 1495.81024) 全文: 内政部 arXiv公司