×

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

通过约简得到非有限公理化结果:CSP并行组合和CCS限制。 (英语) Zbl 1524.68207号

Jansen,Nils(编辑)等人,《从过程代数到时间自动机到模型学习的旅程》。在弗里茨·瓦德拉格60岁生日之际,为他撰写的论文。查姆:斯普林格。莱克特。注释计算。科学。13560, 1-26 (2022).
MSC公司:68问题85
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于平行组合的公理化:光谱中的旅程。 (英语) Zbl 07559474号

Konnov,Igor(编辑)等人,第31届并发理论国际会议。CONCUR 2020,2020年9月1日至4日,奥地利维也纳,虚拟会议。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。171,第18条,第22页(2020年)。
MSC公司:68问题85
PDF格式BibTeX公司 XML格式引用
全文: 内政部

素数公式的特征是什么时候? (英语) Zbl 1425.68245号

Italiano,F.(ed.)等人,《2015年计算机科学数学基础》。第40届国际研讨会,2015年MFCS,意大利米兰,2015年8月24-28日。诉讼程序。第一部分柏林:施普林格。莱克特。注释计算。科学。9234, 76-88 (2015).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于有限和离散线性阶上Allen关系的区间逻辑的表示性。 (英语) Zbl 1432.03027号

Fermé,Eduardo(编辑)等人,《人工智能中的逻辑》。2014年9月24日至26日,第14届欧洲会议,JELIA 2014,葡萄牙马德拉,Funchal。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。8761267-281(2014年)。
MSC公司:03B44号
PDF格式BibTeX公司 XML格式引用
全文: 内政部

零元素和单位元素的规则格式。 (英语) Zbl 1342.68189号

Mislove,Michael(ed.)等人,第26届编程语义数学基础会议论文集(MFPS 2010),加拿大渥太华,2010年5月6日至10日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记265145-160(2010)。
MSC公司:68问题55 68问题85
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份

主字段