Bidlingmaier,Martin E。;弗洛里安·费索尔;溅出物,Bas 概率规划同伦类型理论中的合成拓扑。 (英语) Zbl 1517.68072号 数学。结构。计算。科学。 31,第10号,1301-1329(2021).MSC公司:68甲19 03立方厘米38 03层60 2012年2月6日 18对25 18个C20 18 C50 18号45 第28页,共15页 55立方英寸35 68号30 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{M.E.Bidlingmaier}等人,《数学》。结构。计算。科学。31,第10号,1301--1329(2021;Zbl 1517.68072) 全文: 内政部 arXiv公司
弗拉维恩·布鲁瓦特;乌戈·达尔拉戈;阿加提·埃尔鲁 关于高阶概率次递归。 (英语) Zbl 1486.68039号 日志。方法计算。科学。 17,第4号,第25号论文,35页(2021年).MSC公司:68号30 03B40型 68甲19 2010年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{F.Breuvart}等人,日志。方法计算。科学。17,第4号,第25号论文,第35页(2021年;Zbl 1486.68039) 全文: arXiv公司 链接
西内姆盖蒂尔·亚曼;埃斯特班·帕维斯;拉尔斯·格伦斯克 随机正则表达式的定量验证。 (英语) Zbl 1519.68135号 芬丹。通知。 179,编号2,135-163(2021).MSC公司:60年第68季度 03B70号 65年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Getir Yaman}等人,基金会。通知。179,编号2,135--163(2021;Zbl 1519.68135) 全文: 内政部