×

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

关系集的关系计算。 (英语) Zbl 07670511号

Fahrenberg,Uli(编辑)等人,《计算机科学中的关系和代数方法》。第19届国际会议,RAMiCS 2021,法国马赛,2021年11月2-5日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13027, 54-71 (2021).
MSC公司:68季度xx
PDF格式BibTeX公司 XML格式引用
全文: 内政部

基于工具的有限拓扑空间闭内相关关系研究。 (英语) Zbl 1486.54003号

Höfner,Peter(编辑)等人,《计算机科学中的关系和代数方法》。2017年5月15日至18日在法国里昂举行的2017年RAMiCS第16届国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10226,60-76(2017年)。
MSC公司:54A05型 68瓦30
PDF格式BibTeX公司 XML格式引用
全文: 内政部

列向可扩展向量表达式和集合集的关系计算。 (英语) Zbl 1432.68594号

Hinze,Ralf(编辑)等人,《程序构造的数学》。2015年6月29日至7月1日,第12届国际会议,MPC 2015,德国科尼格斯温特。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9129, 238-256 (2015).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

多重关系和谓词变换的关系代数方法。 (英语) 兹比尔1432.68069

Hinze,Ralf(编辑)等人,《程序构造的数学》。2015年6月29日至7月1日,第12届国际会议,MPC 2015,德国科尼格斯温特。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9129, 50-70 (2015).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份