×

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

递归类型的Galois连接。 (英语) Zbl 1440.68042号

Di Pierro,Alessandra(编辑)等人,《通过程序分析从lambda演算到网络安全》。在克里斯·汉金退休之际为他撰写的论文。查姆:斯普林格。莱克特。注释计算。科学。12065, 105-131 (2020).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

通过以下方式描述一致Smyth powerdomain的特征可行性研究-\(\land ^{\uparrow}\)-域。 (英语) Zbl 1395.06004号

罗茂康(编辑)等,第七届领域理论及其应用国际研讨会论文集,中国石家庄,2017年6月2-6日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记333153-162(2017)。
MSC公司:06B35号 18日第15天
PDF格式BibTeX公司 XML格式引用
全文: 内政部

高阶正则代数中的自动推理。 (英语) Zbl 1364.68326号

Kahl,Wolfram(编辑)等人,《计算机科学中的关系和代数方法》。2012年9月17日至20日在英国剑桥举行的2012年RAMiCS第13届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-33313-2/pbk)。计算机科学课堂讲稿7560,66-81(2012)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

单调布尔变换器的代数。 (英语) Zbl 1349.68051号

Simao,Adenilso(编辑)等,《形式方法、基础和应用》。2011年9月26日至30日,巴西圣保罗,第14届巴西研讨会,SBMF 2011。修改选定的论文。柏林:施普林格出版社(ISBN 978-3-642-25031-6/pbk)。计算机科学课堂讲稿7021140-155(2011)。
MSC公司:68号30 06E30年
PDF格式BibTeX公司 XML格式引用
全文: 内政部

PVS中的固定点和搜索。 (英语) Zbl 1186.68302号

Müller,Peter(编辑),软件工程高级讲座。激光暑期学校2007/2008。柏林:施普林格出版社(ISBN 978-3-642-13009-0/pbk)。计算机科学课堂讲稿6029140-161(2010)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

没有导演的演员:卡尼安对异质系统的看法。 (英语) Zbl 1237.68122号

Majumdar,Rupak(编辑)等人,《混合系统:计算和控制》。2009年4月13日至15日在美国加利福尼亚州旧金山举行的2009年HSCC第12届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-00601-2/pbk)。计算机科学课堂讲稿5469,46-60(2009)。
MSC公司:68问题55 06B35号
PDF格式BibTeX公司 XML格式引用
全文: 内政部

从逻辑关系定义的抽象解释中提取程序逻辑。 (英语) Zbl 1316.68042号

Fiore,Marcelo(编辑),第23届编程语义数学基础会议论文集(MFPS XXIII),美国洛杉矶新奥尔良,2007年4月11日至14日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记173,339-356(2007)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

有限半格中的可牵引约束。 (英语) Zbl 1482.68093号

Cousot,Radhia(编辑)等人,《静态分析》。1996年9月24日至26日,第三届国际研讨会,SAS’96,德国亚琛。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1145, 285-300 (1996).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

出版年份