文森特·拉里;马克·比克福德 使用命名异常验证Brouwer的数字连续性原则。 (英语) Zbl 1390.68584号 数学。结构。计算。科学。 28,第6号,942-990(2018).MSC公司:68吨15 03B35型 03楼55 03层60 PDF格式BibTeX公司 XML格式引用 \textit{V.Rahli}和\textit{M.Bickford},数学。结构。计算。科学。28,第6号,942--990(2018;Zbl 1390.68584) 全文: 内政部
舒尔曼,迈克尔 实内聚同伦类型理论中的Brouwer不动点定理。 (英语) 2014年3月13日 数学。结构。计算。科学。 28,第6号,856-941(2018). 审核人:Ittay Weiss(朴茨茅斯) MSC公司:03B15号机组 03G30型 55单位40 55平方米 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{M.Shulman},数学。结构。计算。科学。28,第6号,856--941(2018;Zbl 1390.03014) 全文: 内政部 arXiv公司 反向链接: 卫生官员
何塞·费亚德罗;安托尼亚州洛佩斯;贝诺·德拉哈耶;Legay、Axel 异构定时机器的动态网络。 (英语) 兹比尔1390.68448 数学。结构。计算。科学。 28,第6号,800-855(2018).MSC公司:70年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Fiadeiro}等人,《数学》。结构。计算。科学。28,第6号,800--855(2018;Zbl 1390.68448) 全文: 内政部
乔治·斯特鲁斯 Hoare半群。 (英语) Zbl 1390.68440号 数学。结构。计算。科学。 28,第6号,775-799(2018).MSC公司:60年第68季度 03B70号 20个M10 PDF格式BibTeX公司 XML格式引用 \textit{G.Struth},数学。结构。计算。科学。28,第6号,775--799(2018;Zbl 1390.68440) 全文: 内政部
保罗·安德烈·梅利埃;诺姆·齐尔伯格 类型精化系统的Isbell对偶定理。 (英语) Zbl 1390.68189号 数学。结构。计算。科学。 28,第6期,736-774(2018).MSC公司:68号30 03B70号 第03页 03G30型 18层25 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{P.-A.Melliès}和\textit{N.Zeilberger},数学。结构。计算。科学。28,第6号,736--774(2018;Zbl 1390.68189) 全文: 内政部 arXiv公司