×

找到13个文档(结果1-13)

鱼叉:交互式机械化元理论。 (英语) Zbl 07437106号

AndréPlatzer等人,《自动扣除——CADE 28》。2021年7月12日至15日,第28届自动扣款国际会议,虚拟活动。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12699, 636-648 (2021).
MSC公司:03B35型 68伏15
PDF格式BibTeX公司 XML格式引用
全文: 内政部

指数分层类型。 (英语) Zbl 1462.68021号

Kirchner,Hélène(编辑),第三届计算和扣除正式结构国际会议,2018年7月9日至12日,英国牛津FSCD。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。108,第19条,第17页(2018年)。
MSC公司:68甲18
PDF格式BibTeX公司 XML格式引用

关联系统F和(lambda 2):Coq、Abella和Beluga的案例研究。 (英语) Zbl 1434.03030号

Miller,Dale(编辑),第二届计算和演绎形式结构国际会议。FSCD 2017,英国牛津,2017年9月3日至9日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。84,第21条,第19页(2017年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

林肯:具有一流上下文的线性逻辑框架。 (英语) Zbl 1485.68065号

Yang,Hongseok(编辑),《编程语言和系统》。2017年4月22日至29日在瑞典乌普萨拉举行的第26届欧洲编程研讨会(ESOP 2017),是欧洲软件理论与实践联合会议(ETAPS 2017)的一部分。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。10201, 530-555 (2017).
MSC公司:68号30 03楼52
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使用带有一级绑定器的语法的程序。 (英语) Zbl 1485.68064号

Yang,Hongseok(编辑),《编程语言和系统》。2017年4月22日至29日在瑞典乌普萨拉举行的第26届欧洲编程研讨会(ESOP 2017),是欧洲软件理论与实践联合会议(ETAPS 2017)的一部分。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。10201, 504-529 (2017).
MSC公司:68号30 68甲15 68甲18
PDF格式BibTeX公司 XML格式引用
全文: 内政部

归纳白鲸:编程证明。 (英语) Zbl 1465.68294号

Felty,Amy P.(编辑)等人,《自动扣除——CADE-25》。2015年8月1日至7日在德国柏林举行的第25届自动扣减国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9195, 272-281 (2015).
MSC公司:68伏15 68号30
PDF格式BibTeX公司 XML格式引用
全文: 内政部

编程归纳证明。基于上下文类型的新方法。 (英语) Zbl 1309.68051号

Siegler,Simon(编辑)等人,《验证、归纳、终止分析》。在克里斯托夫·沃尔特60岁生日之际,为他举行庆祝活动。柏林:施普林格出版社(ISBN 978-3-642-17171-0/pbk)。计算机科学课堂讲稿6463。人工智能课堂讲稿,1-16(2010)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

白鲸:用演绎系统进行编程和推理的框架(系统描述)。 (英语) Zbl 1291.68366号

Giesl,Jürgen(编辑)等人,《自动推理》。2010年7月16日至19日在英国爱丁堡举行的第五届国际联合会议,IJCAR 2010。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-14202-4/pbk)。计算机科学讲义6173。人工智能课堂讲稿,15-21(2010)。
MSC公司:第68页第15页
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份

主字段