×

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

走向双相似性和迹语义的一般公理化。 (英语) Zbl 07415132号

Roggenbach,Markus(编辑),代数开发技术的最新趋势。第25届国际研讨会,WADT 2020,虚拟活动,2020年4月29日。修订了选定的论文。查姆:斯普林格。莱克特。注释计算。科学。12669, 31-53 (2021).
MSC公司:68季度xx
PDF格式BibTeX公司 XML格式引用
全文: 内政部

逐群概率双相似性及其逻辑特征。 (英语) Zbl 1348.68156号

Abadi,Martín(编辑)等人,《值得信赖的全球计算》。2013年8月30日至31日在阿根廷布宜诺斯艾利斯举行的第八届TGC国际研讨会。修订了选定的论文。查姆:施普林格(ISBN 978-3-319-05118-5/pbk;978-3-3169-05119-2/电子书)。《计算机科学讲义》8358、315-330(2014)。
MSC公司:68问题85 03B70号
PDF格式BibTeX公司 XML格式引用
全文: 内政部

基于T集总率一致关系的状态空间约简。 (英语) 兹比尔1180.68186

Thomas,Nigel(编辑)等人,《计算机性能工程》,第五届欧洲性能工程研讨会,EPEW 2008,西班牙马洛卡棕榈岛,2008年9月24日至25日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-87411-9/pbk)。计算机科学课堂讲稿526164-78(2008)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

马尔可夫检验和追踪等价性比马尔可夫双相似性更具综合性。 (英语) Zbl 1316.68086号

Aceto,Luca(编辑)等人,《代数过程演算论文集》(APC 25)研讨会论文集,意大利贝尔蒂诺罗,2005年8月1日至5日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记162,87-99(2006)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份

主字段