×

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

关系具有核的充分标准的实验研究。 (英语) Zbl 07670512号

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

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

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

简单的基于矩形的函数程序,用于计算自反传递闭包。 (英语) Zbl 1330.68044号

Kahl,Wolfram(编辑)等人,《计算机科学中的关系和代数方法》。2012年9月17日至20日,第13届国际会议,RAMiCS 2012,英国剑桥。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-33313-2/pbk)。计算机科学课堂讲稿7560114-129(2012)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份

全部的 前3名

软件