雷纳尔德·阿弗尔德;西里尔·科恩;达米恩·鲁灵 经典分析中渐近推理的形式化技术。 (英文) Zbl 1451.68329号 J.福尔马利兹。原因。 11, 43-76 (2018).MSC公司:68版本20 26A03号 PDF格式BibTeX公司 XML格式引用 \textit{R.Affeldt}等人,J.Formaliz。原因。11、43-76(2018;Zbl 1451.68329) 全文: 内政部
安东尼·约瑟夫·纳卡维奇;塞萨尔·穆尼奥斯;亚伦·杜特尔 基于根计数和区间细分的一元多项式系统的决策过程。 (英文) Zbl 1451.68326号 J.福尔马利兹。原因。 11, 19-41 (2018).MSC公司:68伏15 26立方厘米 65H10型 PDF格式BibTeX公司 XML格式引用 \textit{A.J.Narkawicz}等人,J.Formaliz。原因。11、19-41(2018;Zbl 1451.68326) 全文: 内政部
皮埃尔·莱斯坎 广泛游戏的依赖类型。 (英文) Zbl 1451.91017号 J.福尔马利兹。原因。 11, 1-17 (2018).MSC公司:第91页第18页 68版本20 PDF格式BibTeX公司 XML格式引用 \textit{P.Lescanne},J.Formaliz。原因。11、1-17(2018年;Zbl 1451.91017) 全文: 内政部 arXiv公司