西蒙·博利埃;尼古拉斯·塔巴鲁 区间型理论中所有类型宇宙的模型结构。 (英语) Zbl 07460115号 数学。结构。计算。科学。 31,第4号,392-423(2021).MSC公司:03B38型 55单位35 18号45 PDF格式BibTeX公司 XML格式引用 \textit{S.Boulier}和\textit{N.Tabarau},数学。结构。计算。科学。31,第4号,392--423(2021;Zbl 07460115) 全文: 内政部
托尔斯滕·阿滕柯奇;西蒙·博利埃;安布罗斯·卡波西;克里斯蒂安·萨特勒;菲利波·塞斯蒂尼 构建刚毛模型的宇宙。 (英语) Zbl 07410416号 Kiefer,Stefan(编辑)等人,《软件科学和计算结构基础》。第24届国际会议FOSSACS 2021,作为欧洲软件理论与实践联合会议ETAPS 2021的一部分,于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12650,1-21(2021)。MSC公司:68新元 68季度xx PDF格式BibTeX公司 XML格式引用 \textit{T.Altenkirch}等人,Lect。注释计算。科学。12650,1--21(2021;Zbl 07410416) 全文: 内政部