×

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

林肯:具有一流上下文的线性逻辑框架。 (英语) 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 1257.03053号

Grädel,Erich(编辑)等人,《计算机科学逻辑》。2009年9月7日至11日在葡萄牙科英布拉举行的第23届CSL国际研讨会,EACSL第18届年会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-04026-9/pbk)。计算机科学课堂讲稿5771240-254(2009)。
MSC公司:03B70号 03楼52 18 C50
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

筛选结果依据…

文档类型

全部的 前5名

出版年份

主字段

传记参考

全部的 前3名

软件