×

找到562个文档（结果1-100）

最新的 引文 关联
多米尼克·韦尔;柯斯特，多米尼克

建构型理论中一阶逻辑的实质对话。 （英语） Zbl 07691333号

Ciabattoni，Agata（编辑）等人，《逻辑、语言、信息和计算》。第28届国际研讨会，WoLLIC 2022，Iași，罗马尼亚，2022年9月20日至23日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13468, 344-361 (2022).
MSC公司：03B70号
PDF格式BibTeX公司 XML格式引用
\textit{D.Wehr}和\textit{D.Kirst}，莱克特。注释计算。科学。13468、344--361（2022；Zbl 07691333）
全文： DOI程序
萨缪尔·马斯基奥

对建设性基础中数值存在性的分类解读。 （英语） Zbl 1523.03029号

Oliveri，Gianluigi（编辑）等人，《对象、结构和逻辑》。FilMat研究数学哲学。查姆：斯普林格。波士顿Stud.Philos。历史。科学。339, 349-363 (2022).
审核人：Iosif Petrakis（慕尼黑）
MSC公司：03楼50 03G30型 03B38型 18立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{S.Maschio}，波士顿Stud.Philos。历史。科学。339、349--363（2022年；Zbl 1523.03029）
全文： DOI程序 链接
蒂埃里·科昆德;艾伯克·托森

形式拓扑和单价基础。 （英语） 兹比尔1528.03251

Mainzer，Klaus（编辑）等人，《证明与计算II》。从证明理论和单叶数学到程序提取和验证。基于2019年9月20日至26日国际秋季学校“证明与计算”。新泽西州哈肯萨克：世界科学。255-266 (2022).
MSC公司：65楼03号 03B35型 03B38型
PDF格式BibTeX公司 XML格式引用
\textit{T.Coquand}和\textit{A.Tosun}，in：证明与计算II。从证明理论和单叶数学到程序提取和验证。基于2019年9月20日至26日的国际秋季学校“证明与计算”。新泽西州哈肯萨克：《世界科学》。255-266（2022年；Zbl 1528.03251）
全文： DOI程序
多米尼克·柯斯特;赫尔墨斯，马克

Ccoq中一阶公理系统的综合不可判定性和不完全性。 （英语） Zbl 07699440号

Cohen，Liron（ed.）等人，第十二届交互式定理证明国际会议，ITP 2021，意大利罗马，虚拟会议，2021年6月29日至7月1日。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。193，第23条，第20页（2021年）。
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{D.Kirst}和\textit{M.Hermes}，LIPIcs——莱布尼茨国际程序。通知。193，第23条，20 p.（2021；Zbl 07699440）
全文： DOI程序
Bidlingmaier，Martin E。;弗洛里安·费索尔;溅出物，Bas

概率规划同伦类型理论中的合成拓扑。 （英语） 兹比尔1517.68072

数学。结构。计算。科学。 31，第10号，1301-1329（2021）.
MSC公司：68甲19 03B38型 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）
全文： DOI程序 arXiv公司
伊沃·佩兹拉

意义和计算：可计算命题的两种方法。 （英语） Zbl 07547736号

Silva，Alexandra（编辑）等人，《逻辑、语言、信息和计算》。第27届国际研讨会，WoLLIC 2021，虚拟活动，2021年10月5日至8日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13038, 100-116 (2021).
MSC公司：03B70号
PDF格式BibTeX公司 XML格式引用
\textit{I.Pezlar}，莱克特。注释计算。科学。13038，100-116（2021；Zbl 07547736）
全文： DOI程序
伊沃·佩兹拉

从推理的角度对矛盾命题的注释。 （英语） Zbl 1529.03125号

Blicha，Martin（编辑）等人，《Logica年鉴2020》。论文基于已取消的Logica 2020研讨会提交的摘要。伦敦：学院出版物。183-199 (2021).
MSC公司：03B38型
PDF格式BibTeX公司 XML格式引用
\textit{I.Pezlar}，收录于：《2020年Logica年鉴》。论文基于已取消的Logica 2020研讨会提交的摘要。伦敦：学院出版物。183-199（2021年；兹比尔1529.03125）
特纳，D.A。

建构数学、丘奇论文和自由选择序列。 （英语） Zbl 07495191号

De Mol，Liesbeth（编辑）等人，《与可计算性的联系》。第17届欧洲可计算性会议，CiE 2021，虚拟事件，比利时根特，2021年7月5日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12813, 446-456 (2021).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\发短信给Lect。注释计算。科学。12813、446--456（2021；Zbl 07495191）
全文： DOI程序 链接
沙希德·拉赫曼;穆罕默德·萨利赫·扎勒珀尔

《伊本·希纳的描述性命题：逻辑分析的要素》。 （英语） 兹比尔1473.03007

Mojtahedi、Mojtaba（编辑）等人，《数学、逻辑及其哲学》。纪念穆罕默德·阿尔德斯希尔的文章。查姆：斯普林格。日志。认识论。统一科学。49, 411-431 (2021).
审核人：吉姆·麦肯齐（悉尼）
MSC公司：03A05号 03B05号 03B45 03B38型 03年3月 01A30型
PDF格式BibTeX公司 XML格式引用
\textit{S.Rahman}和\textit{M.S.Zarepour}，Log。认识论。统一科学。49、411--431（2021；Zbl 1473.03007）
全文： DOI程序 哈尔
塞巴斯蒂安·乌尔乔利;阿尔瓦罗·塔西斯特罗;诺拉·萨兹

使用Agda的构造型理论中简单型lambda演算的强规范化。 （英语） 兹比尔1498.03044

Nalon，Cláudia（编辑）等人，《逻辑和语义框架及其应用第15届国际研讨会论文集》，LSFA 2020，虚拟研讨会，2020年8月27日至28日。阿姆斯特丹：爱思唯尔。电子。注释Theor。计算。科学。351, 187-203 (2020).
MSC公司：03B40型 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{S.Urciuoli}等人，《电子》。注释Theor。计算。科学。351、187--203（2020年；Zbl 1498.03044）
全文： DOI程序
雅各布·埃梅内格;埃里克·帕尔姆格伦

集合的精确完备性和构造性理论。 （英语） Zbl 1485.03257号

J.塞姆。日志。 85，编号2，563-584（2020）.
审核人：阿米特·库伯（坎普尔）
MSC公司：03G30型 18A35型 18对25 18甲15 03B38型 18个B05 18日第15天 03楼55
PDF格式BibTeX公司 XML格式引用
\textit{J.Emmeneger}和\textit{E.Palmgren}，J.Symb。日志。85，编号2，563--584（2020；Zbl 1485.03257）
全文： DOI程序 arXiv公司
OA许可证
马修·韦弗。;丹尼尔·李卡塔（Daniel R.Licata）。

双三次集中有向单叶的构造模型。 （英语） Zbl 1498.03038号

2020年第35届ACM/IEEE计算机科学逻辑研讨会论文集，LICS 2020，虚拟事件，2020年7月8日至11日。纽约州纽约市：计算机协会（ACM）。915-928 (2020).
MSC公司：03B38型 55立方英寸35 18号45 65楼03号
PDF格式BibTeX公司 XML格式引用
\textit{M.Z.Weaver}和\textit{D.R.Licata}，摘自：2020年第35届ACM/IEEE计算机科学逻辑研讨会论文集，LICS 2020，虚拟事件，2020年7月8日至11日。纽约州纽约市：计算机协会（ACM）。915--928（2020年；Zbl 1498.03038）
全文： DOI程序
皮埃尔·马里·佩德罗

前科学理论中的俄罗斯建构主义。 （英语） Zbl 1498.03159号

2020年第35届ACM/IEEE计算机科学逻辑研讨会论文集，LICS 2020，虚拟事件，2020年7月8日至11日。纽约州纽约市：计算机协会（ACM）。782-794（2020年）。
MSC公司：03层60 03楼55 03B38型 18层20
PDF格式BibTeX公司 XML格式引用
\textit{P.-M.Pédrot}，in：2020年第35届ACM/IEEE计算机科学逻辑研讨会论文集，LICS 2020，虚拟事件，2020年7月8-11日。纽约州纽约市：计算机协会（ACM）。782--794（2020年；Zbl 1498.03159）
全文： DOI程序 哈尔
阿伦斯，贝内迪克特;北，Paige Randall;舒尔曼，迈克尔;迪米特里斯·泽梅齐斯

更高层次的结构同一性原理。 （英语） Zbl 1498.03027号

2020年第35届ACM/IEEE计算机科学逻辑年度研讨会论文集，LICS 2020，虚拟活动，2020年7月8日至11日。纽约州纽约市：计算机协会（ACM）。53-66 (2020).
MSC公司：03B38型 55立方英寸35 03楼50 18号45 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{B.Ahrens}等人，in：2020年第35届ACM/IEEE计算机科学逻辑年会论文集，LICS 2020，虚拟事件，2020年7月8-11日。纽约州纽约市：计算机协会（ACM）。53-66（2020年；Zbl 1498.03027）
全文： DOI程序 arXiv公司
鲍威尔，托马斯

好的拟阶和泛函解释。 （英语） Zbl 1496.03234号

Schuster，Peter M.（编辑）等人，《计算、逻辑、语言和推理中的Well准序》。证明论、自动机理论、形式语言和描述性集合论的统一概念。基于2015年9月21日至25日在德国汉堡举行的德国数学博物馆（DMV）内举行的关于良好准序：从理论到应用的小型研讨会，以及2016年1月17日至22日在德国达格斯图尔学院举行的关于计算机科学中良好准序的达格斯图研讨会16031。查姆：斯普林格。趋势日志。螺柱日志。伦敦银行同业拆借利率。53, 221-269 (2020).
MSC公司：2010年1月3日 35楼03号 03D65年 03楼50 03E25型
PDF格式BibTeX公司 XML格式引用
\textit{T.Powell}，趋势日志。螺柱日志。伦敦银行同业拆借利率。53、221--269（2020年；Zbl 1496.03234）
全文： DOI程序 arXiv公司
扬尼克·福斯特;多米尼克·柯斯特;多米尼克·韦尔

构造型理论分析了一阶逻辑的完备性定理。 （英语） Zbl 1485.03248号

Artemov，Sergei（编辑）等人，《计算机科学的逻辑基础》。2020年1月4日至7日，美国佛罗里达州迪尔菲尔德海滩，LFCS 2020国际研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11972, 47-74 (2020).
MSC公司：03楼50 03B35型 03B38型 03B10号机组
PDF格式BibTeX公司 XML格式引用
\textit{Y.Forster}等人，Lect。注释计算。科学。11972，47-74（2020；Zbl 1485.03248）
全文： DOI程序 arXiv公司
扬尼克福斯特;费边·昆泽

从Coq到按调用值lambda演算的有时间限制的认证提取。 （英语） Zbl 07649966号

Harrison，John（ed.）等人，第十届交互式定理证明国际会议，2019年9月9日至12日，美国俄勒冈州波特兰。会议记录。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。141，第17条，第19页（2019年）。
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{Y.Forster}和\textit{F.Kunze}，LIPIcs——莱布尼茨国际程序。通知。141，第17条，第19页（2019；Zbl 07649966）
全文： DOI程序 arXiv公司
艾奥西夫·彼得拉基斯

毕肖集理论中的相依和和相依积。 （英语） Zbl 1528.03241号

Dybjer，Peter（编辑）等人，第24届国际校样和程序类型会议，2018年types 2018，葡萄牙布拉加，2018年6月18-21日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。130，第3条，第21页（2019年）。
MSC公司：03楼50 65楼03号 03B38型
PDF格式BibTeX公司 XML格式引用
\textit{I.Petrakis}，LIPIcs——莱布尼茨国际程序。通知。130，第3条，第21页（2019年；Zbl 1528.03241）
全文： DOI程序
克劳斯·美因泽

从数学的普遍性到可证明性、可计算性和可构造性。 （英语） Zbl 1469.03113号

Centrone，Stefania（编辑）等人，《通用数学、可计算性和证明》。2017年7月24日至28日，在意大利科莫洛夫诺迪梅纳吉奥维戈尼别墅的德意欧洲卓越中心举行的基于洪堡-科尔leg“作为数学普遍性的证明理论”的会议。查姆：斯普林格。合成。伦敦银行同业拆借利率。412, 203-234 (2019).
MSC公司：03日第10天 03天35分 35楼03号 03层60 03B30型 35层03 68伏15 03B38型 55单位40
PDF格式BibTeX公司 XML格式引用
\textit{K.Mainzer}，合成。伦敦银行同业拆借利率。412203--234（2019年；Zbl 1469.03113）
全文： DOI程序
阿里尔·凯利森;马克·比克福德;罗伯特·康斯特布尔

在类型理论中实现欧几里德的直尺和指南针构造。 （英语） Zbl 1479.03009号

安。数学。Artif公司。智力。 85，编号2-4，175-192（2019）.
审核人：马可·贝尼尼（布奇纳斯科）
MSC公司：03B35型 03楼55 2004年5月5日 03B38型
PDF格式BibTeX公司 XML格式引用
\textit{A.Kellison}等人，Ann.数学。Artif公司。智力。85，编号2--4，175-192（2019；Zbl 1479.03009）
全文： DOI程序
埃里克·帕尔姆格伦

论建构型理论中范畴对象的平等性。 （英语） Zbl 1528.03111号

Abel，Andreas（ed.）等人，第23届国际证明和程序类型会议，2017年类型，2017年5月24日至6月1日，匈牙利布达佩斯。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。104，第7条，第7页（2018年）。
MSC公司：03B38型 03楼50 18甲15
PDF格式BibTeX公司 XML格式引用
\textit{E.Palmgren}，LIPIcs——莱布尼茨国际程序。通知。104，第7条，第7页（2018；Zbl 1528.03111）
全文： DOI程序 arXiv公司
马克·比克福德;科恩、利隆;罗伯特·康斯特布尔。;文森特·拉里

通过选择序列超越Church-Turing的可计算性。 （英语） Zbl 1452.03133号

2018年第33届ACM/IEEE计算机科学逻辑研讨会论文集，2018年7月9日至12日，英国牛津，LICS 2018。纽约州纽约市：计算机协会（ACM）。245-254 (2018).
MSC公司：03楼50 03B35型 03B38型 03日30分 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{M.Bickford}等人，in：2018年第33届ACM/IEEE计算机科学逻辑研讨会论文集，2018年LICS，英国牛津，2018年7月9日至12日。纽约州纽约市：计算机协会（ACM）。245-254（2018年；兹比尔1452.03133）
全文： DOI程序 链接
石原、Hajime;玛丽亚·艾米莉亚·梅埃蒂;萨缪尔·马斯基奥;托马斯·斯特里彻

最低限度基础的内涵层次与丘奇的论点和选择公理的一致性。 （英语） Zbl 1522.03323号

架构（architecture）。数学。逻辑 57，编号7-8，873-888（2018）.
MSC公司：35层03 03B38型 30楼03号 03楼50 65楼03号
PDF格式BibTeX公司 XML格式引用
\textit{H.Ishihara}等人，Arch。数学。逻辑57，编号7--8873--888（2018；Zbl 1522.03323）
全文： DOI程序 链接
阿伦斯，贝内迪克特;彼得·勒法努·卢姆斯代恩;弗拉基米尔·沃沃德斯基

单价基础中类型理论的分类结构。 （英语） 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）
全文： DOI程序 arXiv公司
西里尔·科恩;蒂埃里·科昆德;西蒙·胡贝尔;安德斯·莫特伯格

立方型理论：对单价公理的建设性解释。 （英语） Zbl 1434.03036号

Uustalu，Tarmo（编辑），第21届国际校样和程序类型会议，2015年5月18日至21日，爱沙尼亚塔林。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。69，第5条，第34页（2018年）。
MSC公司：03B38型 03楼50 55立方英寸35 18 C50
PDF格式BibTeX公司 XML格式引用
\textit{C.Cohen}等人，LIPIcs——莱布尼茨国际程序。通知。69，第5条，第34页（2018；Zbl 1434.03036）
全文： DOI程序 arXiv公司
古普塔，维杰;塔米斯托克利斯·拉西亚斯。;阿格拉瓦尔，P.N。;安娜·玛丽亚·阿库

构造逼近理论的最新进展。 （英语） Zbl 1400.41017号

弹簧优化及其应用138.查姆：施普林格（ISBN 978-3-319-92164-8/hbk；978-3-3169-92165-5/电子书）。x、 第291页。(2018).
审核人：Sorin Gheorghe Gal（奥拉迪亚）
MSC公司：41-02 41A36型 第41页第17页 41A25型 41A35型
PDF格式BibTeX公司 XML格式引用
\textit｛V.Gupta｝等人，构造近似理论的最新进展。查姆：施普林格（2018；Zbl 1400.41017）
全文： DOI程序
克劳斯·美因泽

数字世界和现实世界。数学、科学、技术和哲学的计算基础。随附小册子“补充和更正”。 （英语） Zbl 1411.68007号

新泽西州哈肯萨克：世界科学（ISBN 978-981-3225-48-0/hbk；978-981-3 225-50-3/电子书）。x、 第460页。，第16页/手册（2018）。
审核人：曼弗雷德·科伯（伯明翰）
MSC公司：68-02 2002年3月 00A05号 03B70号 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{K.Mainzer}，数字和现实世界。数学、科学、技术和哲学的计算基础。随附小册子“补充和更正”。新泽西州哈肯萨克：世界科学（2018；兹bl 1411.68007）
全文： DOI程序
蒂埃里·科昆德;曼纳，巴赛尔;费比安·鲁奇

类型理论的堆栈语义。 （英语） Zbl 1452.03037号

2017年第32届ACM/IEEE计算机科学逻辑研讨会论文集，2017年6月20日至23日，冰岛雷克雅未克雷克雅维克大学，LICS 2017。新泽西州皮斯卡塔韦：IEEE出版社。第70条，第11页（2017年）。
MSC公司：03B38型 03楼50 03E25型
PDF格式BibTeX公司 XML格式引用
\textit{T.Coquand}等人，摘自：2017年第32届ACM/IEEE计算机科学逻辑研讨会论文集，LICS 2017，雷克雅未克大学，冰岛雷克雅维克，2017年6月20-23日。新泽西州皮斯卡塔韦：IEEE出版社。第70条，第11页（2017；Zbl 1452.03037）
全文： arXiv公司 链接
维南齐奥·卡普雷塔;乔纳森·福勒

一元流函数的连续性。 （英语） Zbl 1452.03137号

2017年第32届ACM/IEEE计算机科学逻辑研讨会论文集，2017年6月20日至23日，冰岛雷克雅未克雷克雅维克大学，LICS 2017。新泽西州皮斯卡塔韦：IEEE出版社。第59条，第12页（2017年）。
MSC公司：03层60 03楼55 03B38型 18立方厘米 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{V.Capretta}和\textit{J.Fowler}，摘自：2017年第32届ACM/IEEE计算机科学逻辑研讨会论文集，2017年LICS，冰岛雷克雅未克雷克雅维克大学，2017年6月20-23日。新泽西州皮斯卡塔韦：IEEE出版社。第59条，第12页（2017；Zbl 1452.03137）
全文： 链接
马丁·埃斯卡多。;科里·纳普。

单叶类型理论中的部分元素和通过优势的递归。 （英语） Zbl 1434.03037号

Goranko，Valentin（编辑）等人，第26届EACSL计算机科学逻辑年会，CSL 2017，瑞典斯德哥尔摩，2017年8月20日至24日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。82，第21条，第16页（2017年）。
MSC公司：03B38型 20日03时 03层60
PDF格式BibTeX公司 XML格式引用
\textit{M.H.Escardó}和\textit{C.M.Knapp}，LIPIcs——莱布尼茨国际程序。通知。82，第21条，第16页（2017年；Zbl 1434.03037）
全文： DOI程序
阿伦斯，贝内迪克特;彼得·勒法努·卢姆斯代恩;弗拉基米尔·沃沃德斯基

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

Goranko，Valentin（编辑）等人，第26届EACSL计算机科学逻辑年会，CSL 2017，瑞典斯德哥尔摩，2017年8月20日至24日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。82，第8条，第16页（2017年）。
MSC公司：03立方厘米38 03楼50 03B70号 18 C50 55单位40 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{B.Ahrens}等人，LIPIcs——莱布尼茨国际程序。通知。82，第8条，第16页（2017；Zbl 1528.03100）
全文： DOI程序
迈克尔·拉特扬

构造系统的证明理论：归纳类型和单价。 （英语） Zbl 1429.03213号

Jäger，Gerhard（编辑）等人，《地基上的费弗曼》。逻辑、数学、哲学。查姆：斯普林格。Outst公司。控制日志。13285-419（2017年）。
MSC公司：03楼50 30楼03号 03C62号 35楼03号 03B38型
PDF格式BibTeX公司 XML格式引用
\textit{M.Rathjen}，Outst（输出）。控制日志。13、385--419（2017；Zbl 1429.03213）
全文： DOI程序 arXiv公司
山姆·桑德斯

非标准分析的计算内容。 （英语） Zbl 1486.03128号

Kohlenbach，Ulrich（编辑）等人，《第六届经典逻辑与计算国际研讨会论文集》，CL&C 2016，葡萄牙波尔图，2016年6月23日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）21324-40（2016）。
MSC公司：05年3月 03立方厘米30 03E70型 03层60 03D65年
PDF格式BibTeX公司 XML格式引用
\textit{S.桑德斯}，电子。程序。西奥。计算。科学。（EPTCS）213，24-40（2016年；兹bl 1486.03128）
全文： arXiv公司 链接
埃内斯托·科佩罗;阿尔瓦罗·塔西特罗;诺拉·萨兹;安娜·波夫;玛丽贝尔·费尔南德斯

构造型理论中lambda演算的α-结构归纳和递归。 （英语） Zbl 1395.68085号

Benevides，Mario（ed.）等人，《逻辑和语义框架及其应用第十次研讨会论文集》（LSFA 2015），巴西纳塔尔，2015年8月31日至9月1日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记323109-124（2016）。
MSC公司：68甲18 03B15号机组 03B40型
PDF格式BibTeX公司 XML格式引用
\textit{E.Copello}等人，《电子》。注释Theor。计算。科学。323109--124（2016；Zbl 1395.68085）
全文： DOI程序
蒂埃里·科昆德;巴赛尔·曼纳

马尔可夫原理在类型理论中的独立性。 （英语） Zbl 1434.03137号

Kesner，Delia（ed.）等人，第一届计算和扣减形式结构国际会议，2016年金融稳定与发展委员会，葡萄牙波尔图，2016年6月22日至26日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。52，第17条，第18页（2016年）。
MSC公司：03楼50 03B38型 03E40型
PDF格式BibTeX公司 XML格式引用
\textit{T.Coquand}和\textit{B.Mannaa}，LIPIcs——莱布尼茨国际程序。通知。52，第17条，第18页（2016年；Zbl 1434.03137）
全文： DOI程序
丹尼尔·科恩莱因

不动点理论和凸优化中迭代算法的定量分析。 （英语） Zbl 1346.47001号

达姆施塔特：TU Darmstadt，Fachbereich Mathematik（Diss.）。142页。(2016).
MSC公司：47至02 47甲10 2009年9月47日 47J25型 03层60 03英尺10英寸 90C25型 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{D.Körnlein}，不动点理论和凸优化中迭代算法的定量分析。达姆施塔特：TU Darmstadt，Fachbereich Mathematik（Diss.）（2016；Zbl 1346.47001）
全文： 链接 链接
弗拉基米尔·沃沃德斯基

C系的子系和正则商。 （英语） Zbl 1452.03040号

da Fonseca，Carlos M.等人，《数学的全景：纯粹和应用》。会议数学及其应用，科威特萨法特科威特大学，2014年11月14日至17日。普罗维登斯，RI：美国数学学会（AMS）。康斯坦普。数学。658, 127-137 (2016).
MSC公司：03立方厘米38 03B22号 03楼50 03G25号
PDF格式BibTeX公司 XML格式引用
\textit{V.Voevodsky}，康特姆。数学。658127-137（2016；Zbl 1452.03040）
全文： DOI程序 arXiv公司
哈拉尔德·格罗斯;乌尔肯哈尔，雷马

一个可解的四维QFT。 （英语） Zbl 1338.81297号

Finster，Felix（编辑）等人，《量子数学物理》。数学和物理之间的桥梁。根据2014年9月29日至10月2日在德国雷根斯堡举行的国际会议上的陈述所选论文。查姆：Birkhäuser/Springer（ISBN 978-3-319-26900-9/hbk；978-3-3169-26902-3/电子书）。137-161 (2016).
MSC公司：81T16型 81T08号 第39页第99页 45E05
PDF格式BibTeX公司 XML格式引用
\textit{H.Grosse}和\textit{R.Wulkenhaar}，摘自：量子数学物理。数学和物理之间的桥梁。根据2014年9月29日至10月2日在德国雷根斯堡举行的国际会议上的陈述所选论文。查姆：Birkhäuser/Springer。137--161（2016；Zbl 1338.81297）
全文： DOI程序
安东·塞泽尔

在修订后的希尔伯特程序中使用可信原则。 （英语） Zbl 1380.03066号

Kahle，Reinhard（编辑）等人，Gentzen百年诞辰。追求一致性。查姆：施普林格（ISBN 978-3-319-10102-6/pbk；978-3-3169-10103-3/ebook）。45-60 (2015).
MSC公司：35层03 2015年1月3日 03B15号机组 65楼03号
PDF格式BibTeX公司 XML格式引用
\textit｛A.Setzer｝，在：根岑的百年诞辰。追求一致性。查姆：斯普林格。45-60（2015年；Zbl 1380.03066）
全文： DOI程序 链接
埃里克·帕尔曼

调查无流集。 （英语） Zbl 1434.03144号

Hugo Herbelin等人，第20届国际校样和程序类型会议，types’14，法国巴黎，2014年5月12日至15日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。39, 187-201 (2015).
MSC公司：65楼03号 03立方厘米38 03B35型
PDF格式BibTeX公司 XML格式引用
\textit｛E.Parmann｝，LIPIcs——莱布尼茨国际会议记录。通知。39、187--201（2015；Zbl 1434.03144）
全文： DOI程序
玛丽亚·艾米莉亚·梅埃蒂;萨缪尔·马斯基奥

最简基础的扩展Kleene可实现语义。 （英语） Zbl 1434.03151号

Hugo Herbelin等人，第20届国际校样和程序类型会议，types’14，法国巴黎，2014年5月12日至15日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。39, 162-186 (2015).
MSC公司：03G30型 65楼03号 第03页第35页 03B38型
PDF格式BibTeX公司 XML格式引用
\textit{M.E.Maietti}和\textit{S.Maschio}，LIPIcs——莱布尼茨国际程序。通知。39、162--186（2015年；Zbl 1434.03151）
全文： DOI程序 arXiv公司
马丁·霍泽尔·埃斯卡多;徐创杰

布劳威尔连续性原理与库里-霍华德解释的不一致。 （英语） Zbl 1433.03030号

Altenkirch，Thorsten（编辑），第13届lambda calculi类型和应用国际会议，TLCA’15，波兰华沙，2015年7月1日至3日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。38, 153-164 (2015).
MSC公司：03B38型 03B40型 03层60 18对25
PDF格式BibTeX公司 XML格式引用
\textit{M.H.Escardó}和\textit{C.Xu}，LIPIcs——莱布尼茨国际程序。通知。38、153--164（2015年；Zbl 1433.03030）
全文： DOI程序
法里达·卡查波娃

具有类型的构造集理论的可实现性和存在性。 （英语） 兹比尔1432.03130

赵锡顺（编辑）等，《第十三届亚洲逻辑会议论文集》，2013年ALC，中国广州，2013年9月16日至20日。新泽西州哈肯萨克：《世界科学》。136-155 (2015).
MSC公司：65楼03号 03B38型 03E70型
PDF格式BibTeX公司 XML格式引用
\textit｛F.Kachapova｝，2013年9月16日至20日，中国广州，第13届亚洲逻辑会议论文集。新泽西州哈肯萨克：《世界科学》。136-155（2015；Zbl 1432.03130）
全文： DOI程序

筛选结果依据…

文档类型

数据库

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

传记参考

全部的 前3名

软件