×

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

极化子类型。 (英语) Zbl 1528.68082号

谢尔盖,伊利亚(编辑),《编程语言和系统》。2022年4月2日至7日,在德国慕尼黑举行的第31届欧洲编程研讨会ESOP 2022,作为欧洲软件理论与实践联合会议ETAPS 2022的一部分。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13240, 431-461 (2022).
MSC公司:68号30 03B70号 68甲18
PDF格式BibTeX公司 XML格式引用

形式表语集理论中的分析。 (英语) Zbl 07547740号

Silva,Alexandra(编辑)等人,《逻辑、语言、信息和计算》。第27届国际研讨会,WoLLIC 2021,虚拟活动,2021年10月5日至8日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13038, 167-183 (2021).
MSC公司:03B70号
PDF格式BibTeX公司 XML格式引用
全文: 内政部

引言:非经典逻辑-介于语义和证明理论之间(与阿诺·阿夫伦的工作有关)。 (英语) Zbl 07451996年

Arieli,Ofer(编辑)等人,Arnon Avron关于非经典逻辑的语义和证明理论。查姆:施普林格。Outst公司。控制日志。21, 1-11 (2021).
MSC公司:03年XX月 68倍
PDF格式BibTeX公司 XML格式引用
全文: 内政部

归纳法和共归纳法的非资金扣除。 (英语) Zbl 07437069号

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

传递闭包逻辑中通过无限下降的一致归纳推理。 (英语) Zbl 1528.03186号

Ghica,Dan R.(编辑)等人,第27届EACSL计算机科学逻辑年会,CSL 2018,英国伯明翰,2018年9月4-8日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。119,第17条,第16页(2018年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

安全性、绝对性和可计算性。 (英语) Zbl 1528.03183号

Ghica,Dan R.(编辑)等人,第27届EACSL计算机科学逻辑年会,CSL 2018,英国伯明翰,2018年9月4-8日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。119,第8条,第17页(2018年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

直觉主义祖先逻辑作为一种独立类型的抽象编程语言。 (英语) Zbl 1465.68036号

Paiva,Valeria(编辑)等人,《逻辑、语言、信息和计算》。第22届国际研讨会,2015年7月20日至23日,美国印第安纳州布卢明顿,WoLLIC。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。9160, 14-26 (2015).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份

主字段