×

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

协代数逻辑与对偶。 (英语) Zbl 1520.03017号

科琳娜(Corina)(编辑),《计算机科学中的协同代数方法》(Coalgebraic methods in computer science)。2018年4月14日至15日,第14届IFIP工作组1.3国际研讨会,CMCS 2018,与ETAPS 2018在希腊塞萨洛尼基共同举办。修订了选定的论文。查姆:斯普林格。莱克特。注释计算。科学。11202, 6-12 (2018).
MSC公司:03G30型 03B45号
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

算术模态逻辑中的全局假设推理。 (英语) Zbl 1436.03136号

Kosowski,Adrian(编辑)等人,《计算理论基础》。2015年8月17日至19日,第20届国际研讨会,FCT 2015,波兰根斯克。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9210, 367-380 (2015).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

浅模态逻辑的截消。 (英语) Zbl 1244.68069号

Brünnler,Kai(编辑)等人,使用分析表和相关方法进行自动推理。2011年7月4日至8日,瑞士伯尔尼,第20届国际会议,TABLEAUX 2011。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-22118-7/pbk)。计算机科学课堂讲稿6793。《人工智能课堂讲稿》,211-225(2011)。
MSC公司:68吨15 03B45号 05年3月
PDF格式BibTeX公司 XML格式引用
全文: 内政部

用于联合描述逻辑的全局缓存。 (英语) Zbl 1291.03017号

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

自由Heyting代数:重温。 (英语) Zbl 1238.06007号

亚历山大·库兹(编辑)等人,《计算机科学中的代数和余代数》。第三届国际会议,2009年CALCO,意大利乌迪内,2009年9月7日至10日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-03740-5/pbk)。计算机科学课堂讲稿5728251-266(2009)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

用于余代数\(\mu\)-演算的EXPTIME表格。 (英语) Zbl 1257.03045号

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

协代数混合逻辑。 (英语) Zbl 1234.03020号

de Alfaro,Luca(编辑),《软件科学和计算结构基础》。2009年3月22日至29日在英国约克举行的第12届国际会议FOSSACS 2009,作为欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-00595-4/pbk)。计算机科学讲座笔记5504137-151(2009)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份