×

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

关于确定监控器的复杂性。 (英语) Zbl 1489.68149号

Carayol,Arnaud(编辑)等人,《自动机的实现和应用》。2017年6月27日至30日在法国马内拉瓦莱举行的2017年CIAA第22届国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10329, 1-13 (2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

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

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

关于关联并发性和不确定性。 (英语) Zbl 1518.68226号

Brookes,Stephen(编辑)等人,《编程语义的数学基础》。第七届国际会议,1991年3月25日至28日,美国宾夕法尼亚州匹兹堡。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。598, 376-402 (1992).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

终止、僵局和分歧。 (英语) 兹比尔1509.68178

Main,M.(ed.)等人,《编程语义的数学基础》。第五届国际会议,1989年3月29日至4月1日,美国路易斯安那州新奥尔良。诉讼程序。柏林等:Springer-Verlag。莱克特。注释计算。科学。442301-318(1990年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份

主字段