×

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

布尔子集的代数层次。 (英语) Zbl 07578340号

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

用Kleene关系代数验证不相交集合林的正确性。 (英语) Zbl 07578339号

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

斯通关系代数。 (英语) Zbl 1402.03099号

Höfner,Peter(编辑)等人,《计算机科学中的关系和代数方法》。2017年5月15日至18日在法国里昂举行的2017年RAMiCS第16届国际会议。诉讼程序。查姆:施普林格(ISBN 978-3-319-57417-2/pbk;978-3-3169-57418-9/电子书)。计算机科学课堂讲稿10226,127-143(2017)。
MSC公司:03G15年 03B35型 68吨15
PDF格式BibTeX公司 XML格式引用
全文: 内政部

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

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

统一懒惰和严格的计算。 (英语) Zbl 1330.68074号

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

懒散的关系。 (英语) Zbl 1138.68359号

Berghammer,Rudolf(编辑)等人,《计算机科学中的关系和Kleene代数》。第十届计算机科学关系方法国际会议和第五届Kleene代数应用国际会议,RelMiCS/AKA 2008,德国Frauenwörth,2008年4月7日至11日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-78912-3/pbk)。计算机科学课堂讲稿4988,138-154(2008)。
MSC公司:68号30 2005年第68季度 2010年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份