×

找到34个文档（结果1-34）

最新的 引文 关联
亚历山德罗·西马蒂；阿尔贝托·格里乔；恩里科·利帕里尼；罗伯托·塞巴斯蒂亚尼

通过无约束优化和拓扑度测试处理SMT中的多项式和超越函数。 （英语） Zbl 1522.68716号

Bouajjani，Ahmed（编辑）等人，《验证和分析自动化技术》。第20届国际研讨会，ATVA 2022，虚拟活动，2022年10月25日至28日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13505, 137-153 (2022).
MSC公司：68伏15 55平方米 90立方
PDF格式BibTeX公司 XML格式引用
\textit{A.Cimatti}等人，Lect。注释计算。科学。13505，137--153（2022；Zbl 1522.68716）
全文： 内政部 链接
Krzysztof卡普尔金；彼得·勒法努·卢姆斯代恩

单价基础的简化模型（根据Voevodsky）。 （英语） Zbl 1471.18025号

《欧洲数学杂志》。社会（JEMS） 23，第6号，2071-2126（2021）.
审核人：Hirokazu Nishimura（筑波）
MSC公司：18号45 18 C50 55平方英寸10 55单位35
PDF格式BibTeX公司 XML格式引用
\textit{K.Kapulkin}和\textit{P.L.Lumsdaine}，《欧洲数学杂志》。Soc.（JEMS）23，No.6，2071--2126（2021；Zbl 1471.18025）
全文： 内政部 arXiv公司
埃里克·古堡；杰雷米·莱登特；塞尔吉奥·拉杰斯鲍姆

一个用于研究分布式任务可计算性的动态认识逻辑的单纯复杂模型。 （英语） Zbl 1497.03032号

Inf.计算。 278，文章ID 104597，22 p.（2021）.
审核人：菲利普·高彻（巴黎）
MSC公司：03B42号 55单位35 18号40 64岁以下 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{埃里·古堡}等人，《信息计算》。278，文章ID 104597，22 p.（2021；Zbl 1497.03032）
全文： 内政部 arXiv公司 链接
乌尔里克·巴赫霍尔茨

同伦类型理论中的高级结构。 （英语） Zbl 1528.03105号

Centrone，Stefania（编辑）等人，《数学基础的思考》。单价基础、集合理论和一般思想。基于2016年7月18日至23日在德国比勒费尔德举行的FOMUS数学基础会议：单价基础和集合论。查姆：斯普林格。合成。伦敦银行同业拆借利率。407, 151-172 (2019).
MSC公司：03B38型 03G30型 18号45 55单位35
PDF格式BibTeX公司 XML格式引用
\textit{U.Buchholtz}，合成。伦敦银行同业拆借利率。407151-172（2019年；Zbl 1528.03105）
全文： 内政部 arXiv公司
史蒂夫·阿沃迪

数学普遍主义和同伦类型理论。 （英语） Zbl 1469.03035号

Centrone，Stefania（编辑）等人，《通用数学、可计算性和证明》。基于2017年7月24日至28日在意大利科莫洛夫诺·迪·梅纳吉奥维拉维戈尼（Villa Vigoni）的德国-意大利欧洲卓越中心（German-Italian Centre for European Excellence）举行的洪堡-科尔勒格（Humboldt-Kolleg）“作为数学普适性的证明理论”。查姆：斯普林格。合成。伦敦银行同业拆借利率。412, 13-36 (2019).
MSC公司：03B38型 55单位40
PDF格式BibTeX公司 XML格式引用
\textit{S.Awodey}，Synth。伦敦银行同业拆借利率。412、13-36（2019年；Zbl 1469.03035）
全文： 内政部
Krzysztof卡普尔金；绍米乌，卡洛尔

有限完备范畴的内部语言。 （英语） Zbl 1462.18007号

选择。数学。，新序列号。 25，第2号，第33号论文，46页（2019年）.
审核人：朱莉·伯格纳（河畔）
MSC公司：18号60 55单位35 03B38型
PDF格式BibTeX公司 XML格式引用
\textit{K.Kapulkin}和\textit{K.Szumiło}，Sel。数学。，新序列号。25，第2号，第33号论文，46页（2019年；Zbl 1462.18007）
全文： 内政部 arXiv公司
丹尼尔·李卡塔（Daniel R.Licata）。；伊恩·奥尔顿；安德鲁·皮特斯（Andrew M.Pitts）。；溅出物，Bas

同伦类型理论模型中的内部宇宙。 （英语） Zbl 1462.03010号

Kirchner，Hélène（编辑），第三届计算和扣除正式结构国际会议，2018年7月9日至12日，英国牛津FSCD。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。108，第22条，第17页（2018年）。
MSC公司：03B38型 55单位35
PDF格式BibTeX公司 XML格式引用
\textit{D.R.Licata}等人，LIPIcs——莱布尼茨国际程序。通知。108，第22条，第17页（2018；兹bl 1462.03010）
全文： 内政部 arXiv公司
阿伦斯，贝内迪克特；彼得·勒法努·卢姆斯代恩；弗拉基米尔·沃沃德斯基

单价基础中类型理论的分类结构。 （英语） Zbl 1496.03053号

日志。方法计算。科学。 14，第3号，第18号论文，18页（2018）.
MSC公司：03B38型 03楼50 18 C50 03B70号 55单位40 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{B.Ahrens}等人，日志。方法计算。科学。14，第3号，第18号论文，18页（2018；Zbl 1496.03053）
全文： 内政部 arXiv公司
迈克尔·舒尔曼

实内聚同伦类型理论中的Brouwer不动点定理。 （英语） Zbl 1390.03014号

数学。结构。计算。科学。 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公司
反向链接： 卫生官员
伊恩·奥尔顿；安德鲁·皮特斯（Andrew M.Pitts）。

基于摩尔路径的类型理论模型。 （英语） Zbl 1434.03043号

Miller，Dale（编辑），第二届计算和演绎形式结构国际会议。FSCD 2017，英国牛津，2017年9月3-9日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。84，第28条，第16页（2017年）。
MSC公司：03B38型 55单位35 03G30型
PDF格式BibTeX公司 XML格式引用
\textit{I.Orton}和\textit{A.M.Pitts}，LIPIcs——莱布尼茨国际程序。通知。84，第28条，第16页（2017年；Zbl 1434.03043）
全文： 内政部
彼得·勒法努，朗斯丹；迈克尔·沃伦（Michael A.Warren）。

局部宇宙模型：依赖型理论被忽视的连贯结构。 （英语） Zbl 1354.03101号

ACM事务处理。计算。日志。 第16条第3款第23条第31页（2015年）.
MSC公司：03G30型 03B40型 55单位40
PDF格式BibTeX公司 XML格式引用
\textit{P.L.Lumsdaine}和\textit{M.A.Warren}，ACM翻译。计算。日志。16，第3号，第23条，第31页（2015；Zbl 1354.03101）
全文： 内政部 arXiv公司
玛丽亚·波扎；塞萨尔·多明格斯；乔纳森·赫拉斯；朱利奥·鲁比奥

用于同源图像处理的经认证的简化策略。 （英语） Zbl 1354.68286号

ACM事务处理。计算。日志。 第15号第3条第23条第23页（2014年）.
MSC公司：68平方英寸10 03B35型 55单元15 68吨15 92 C55
PDF格式BibTeX公司 XML格式引用
\textit{M.Poza}等人，ACM Trans。计算。日志。第15号第3条第23条第23页（2014年；Zbl 1354.68286）
全文： 内政部 arXiv公司
托比亚斯·巴瑟尔；艾米丽·里尔

关于模型范畴的函数因子分解的构造。 （英语） Zbl 1268.18001号

阿尔盖布。地理。白杨。 13，第2期，1089-1124（2013）.
审核人：卢克·沃尔科特（莱茵贝克）
MSC公司：18A32飞机 18G55型 55单位35 55单位40 18D20天
PDF格式BibTeX公司 XML格式引用
\textit{T.Barthel}和\textit{E.Riehl}，Algebr。地理。拓扑。13，第2号，1089--1124（2013；Zbl 1268.18001）
全文： 内政部 arXiv公司
史蒂夫·阿沃迪

类型理论与同伦。 （英语） Zbl 1314.03013号

彼得·戴布杰尔（编辑）等人，《认识论与本体论》。关于数学的哲学和基础的论文，以纪念Per Martin-Löf。基于2009年5月5日至8日在瑞典乌普萨拉举行的“数学的哲学和基础：认识论和本体论方面”会议。多德雷赫特：施普林格（ISBN 978-94-007-4434-9/hbk；978-94-07-4435-6/电子书）。《逻辑、认识论与科学的统一》27，183-201（2012）。
MSC公司：03B15号机组 35楼03号 55页99
PDF格式BibTeX公司 XML格式引用
\textit{S.Awodey}，日志。认识论。统一科学。27183－201（2012年；兹bl 1314.03013）
全文： 内政部 arXiv公司

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件