×

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

图解代数。 (英语) Zbl 1526.57001号

数学调查和专著264.普罗维登斯,RI:美国数学学会(AMS)(ISBN 978-1-4704-6671-8/pbk;978-1-4704-6815-6/ebook)。六、365页。(2021).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

保护跟踪类别。 (英语) Zbl 1508.68210号

Baier,Christel(编辑)等人,《软件科学和计算结构基础》。2018年4月14日至20日在希腊塞萨洛尼基举行的第21届国际会议FOSSACS 2018,作为欧洲软件理论与实践联合会议ETAPS 2018的一部分。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10803, 313-330 (2018).
PDF格式BibTeX公司 XML格式引用

线性逻辑框架的分类语义。 (英语) Zbl 1461.03014号

Andrew Pitts(编辑),《软件科学和计算结构基础》。第18届国际会议,FOSSACS 2015,作为欧洲软件理论与实践联合会议的一部分,ETAPS 2015,英国伦敦,2015年4月11-18日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。9034, 102-116 (2015).
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

数据库

全部的 前5名

出版年份

全部的 前3名

主字段