彼得·柯林斯 动态系统应用的可计算分析。 (英语) Zbl 1478.03072号 数学。结构。计算。科学。 30,第2期,173-233页(2020年).MSC公司:03D78号 03层60 54立方厘米 54A05型 93个B03 93B24型 PDF格式BibTeX公司 XML格式引用 \textit{P.Collins},数学。结构。计算。科学。30,第2号,173--233(2020;Zbl 1478.03072) 全文: 内政部
马克西姆·卢卡斯 三次方Squier定理。 (英语) Zbl 1436.18022号 数学。结构。计算。科学。 30,第2期,159-172(2020).MSC公司:18号30 55单位35 20号02 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Lucas},数学。结构。计算。科学。30,第2号,159--172(2020;Zbl 1436.18022) 全文: 内政部 arXiv公司
赫尔穆特·尤根森 多集、堆、包、族:什么是多集? (英语) Zbl 1478.03075号 数学。结构。计算。科学。 第2号第30页,第139-158页(2020年).MSC公司:03E70型 18个B05 PDF格式BibTeX公司 XML格式引用 \textit{H.Jürgensen},数学。结构。计算。科学。30,第2号,139--158(2020;Zbl 1478.03075) 全文: 内政部
拉尔斯·比克达尔;拉纳德·克鲁斯顿;巴赛尔·曼纳;拉斯穆斯·埃杰勒斯·莫格伯格;安德鲁·皮特斯(Andrew M.Pitts)。;溅出物,Bas 模态从属类型理论和从属右伴随词。 (英语) Zbl 1479.03011号 数学。结构。计算。科学。 30,第2期,118-138(2020年).MSC公司:03B38型 03B40型 03B45号 18A40型 PDF格式BibTeX公司 XML格式引用 \textit{L.Birkedal}等人,数学。结构。计算。科学。30,第2号,118--138(2020;Zbl 1479.03011) 全文: 内政部 arXiv公司