×

兹马思-数学第一资源

松弛理论态射。(英语) Zbl 1367.03061

理学硕士:
03B70型 计算机科学中的逻辑
PDF格式 BibTeX公司 XML 引用
全文: 内政部
参考文献:
[1] S、 贝拉迪。1990类型依赖与建构数学。博士。论文。马特马提卡大学;都灵。
[2] J、 伯纳迪、P.詹森和R.帕特森。2012免费校对—依赖类型的参数。函数编程杂志22,2,107–152·Zbl 1271.68076
[3] J、 布兰切特和波佩斯库。2013机械化大锤的元理论。在结合系统的前沿。计算机科学讲义,第8152卷。斯普林格,245-260·Zbl 1398.68479
[4] N、 布尔巴基。1964宇宙。在SéG和233米奈尔;ométrie Alg和#233;布里克·杜博伊斯·玛丽;第233条;拓扑与上同调;图表233;马斯。斯普林格,185-217。
[5] M、 Codescu、F.Horozal、M.Kohlhase、T.Mossakowski和F.Rabe。2011项目摘要:逻辑图集和集成器(拉丁语)。在智能计算机数学中,J.Davenport、W.Farmer、F.Rabe和J.Urban(编辑)。斯普林格,289-291·兹布1278.68285
[6] H、 咖喱和红豆。1958组合逻辑。北荷兰,阿姆斯特丹·Zbl 0081.24104
[7] H、 安德顿。1972逻辑的数学导论。学术出版社·Zbl 0298.02002
[8] W、 Farmer、J.Guttman和F.Thayer。1992小理论。自动扣减会议记录467–581。
[9] W、 Farmer、J.Guttman和F.Thayer。1993交互式数学证明系统。自动推理杂志11,2,213–248·68ZB2.129升
[10] J、 Goguen和R.Burstall。1992机构:规范和编程的抽象模型理论。计算机机械协会杂志39,1,95–146·Zbl 0799.68134
[11] J、 Goguen、T.Winkler、J.Meseguer、K.Futatsugi和J.Jouanaud。1993介绍OBJ。在代数规范的应用中使用OBJ,J.Goguen,D.Coleman和R.Gallimore(Eds.)。剑桥。
[12] R、 哈珀,F。昂塞尔和G。普洛金。1993定义逻辑的框架。ACM杂志40,1143-184·Zbl 0778.03004
[13] R、 哈珀,D.桑内拉和A.塔莱基。1994结构化表达和逻辑表达。纯粹与应用逻辑年鉴67,113–160·Zbl 0809.03019
[14] F、 霍洛扎尔。2014定义声明性语言的框架。博士。论文。雅各布大学,不来梅,德国。
[15] F、 霍洛扎尔和拉贝。2011在类型理论逻辑框架中表示模型理论。理论计算机科学412374919-4945·Zbl 1236.03027
[16] W、 霍华德。1980公式作为结构概念的类型。在给H.B.库里:关于组合逻辑,兰姆达微积分和形式主义的论文。学术出版社,479-490。
[17] F、 劳维尔。1963代数理论的功能语义学。博士。论文。纽约哥伦比亚大学。
[18] P、 马丁-L和246;f。1974直觉主义类型理论:谓词部分。在’73逻辑座谈会。北荷兰,73-118。
[19] R、 米尔纳,托夫特先生,哈珀和麦奎因。1997标准毫升的定义(修订版)。麻省理工学院出版社,剑桥,马萨诸塞州。
[20] T、 Mossakowski,C.Maeder和K.Lü蒂奇。2007异构工具集。用于构造和分析系统的工具和算法。计算机科学讲义,第4424卷。斯普林格,519-522·Zbl 05185799
[21] 五十、 保尔森。1994伊莎贝尔:一般定理证明者。计算机科学讲义,第828卷。斯普林格·Zbl 0825.68059
[22] F、 Pfenning和C.Schü曼恩。1999系统描述:Twelf&8212;演绎系统的元逻辑框架。自动扣除;凯德-16。计算机科学课堂讲稿,第1632卷。斯普林格,202-206。
[23] G、 普罗特金、J.鲍尔、D.桑内拉和R.坦南。2000逻辑关系松散。在自动机、语言和程序设计学术讨论会上。计算机科学讲义,第1853卷。斯普林格,85-102岁·Zbl 0973.03016
[24] F、 拉贝。2013年a。模型与证明理论相结合的逻辑框架。计算机科学中的数学结构23,5945–1001·Zbl 1326.03082号
[25] F、 拉贝。2013年b。mmtapi:一个通用的MKM系统。在智能计算机数学中,J.Carette,D.Aspinall,C.Lange,P.Sojka和W.Windsteiger(编辑)。斯普林格,339-343·Zbl 1390.68626
[26] F、 拉贝。2014如何识别、翻译和组合逻辑?逻辑与计算杂志。doi:10.1093/logcom/exu079·Zbl 1444.03121号
[27] F、 拉贝和科哈塞先生。2013可扩展模块系统。信息与计算230,1,1–54·Zbl 1358.68283号
[28] F、 Rabe和C.Schü曼恩。2009一个实用的低频模块系统。逻辑框架:元理论与实践研讨会论文集。ACM,纽约,纽约,40–48岁。
[29] F、 拉贝和索亚科娃。2013逻辑框架的逻辑关系。计算逻辑上的ACM事务14,4,1–34·Zbl 1353.68252
[30] J、 雷诺兹。1974论直接语义学与延续语义学的关系。在自动机、语言和程序设计中。计算机科学讲义,第14卷。斯普林格,141-156。
[31] D、 Sannella和M.Wirsing。1983代数规范和实现的核心语言。计算理论基础,M.Karpinski(编辑)。斯普林格,413-427·零担0517.68043
[32] C、 附表252;rmann和J.Sarnat。2008结构逻辑关系。计算机科学中的逻辑学,F.Pfenning(编辑)。IEEE,加利福尼亚州洛斯阿拉米托斯,69–80。
[33] C、 附表252;曼恩和M.斯特尔。2004金属框架Twelf中HOL/Nuprl连接的可执行形式化。第11届国际人工智能与推理逻辑会议论文集·Zbl 1165.68473
此参考列表基于出版商或数字数学图书馆提供的信息。它的项被试探性地匹配到zbMATH标识符,并且可能包含数据转换错误。它试图尽可能准确地反映原始论文中列出的参考文献,而不要求匹配的完整性或精确性。