×

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

生成更多偏序集N个. (英语) Zbl 07578336号

Fahrenberg,Uli(编辑)等人,《计算机科学中的关系和代数方法》。2020年10月26日至29日在法国帕莱索举行的2020年RAMiCS第18届国际会议。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12062, 82-99 (2020).
MSC公司:68季度xx
PDF格式BibTeX公司 XML格式引用

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

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

筛选结果依据…

文档类型

全部的 前5名

出版年份