×

找到128个文档(结果1-100)

用表格图表可视化网格。 (英语) Zbl 1496.68336号

Basu,Amrita(编辑)等人,《图解表示和推理》。第十二届国际会议,图表2021,虚拟,2021年9月28日至30日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12909, 378-386 (2021).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

具有有限多项式表示的不可知学习布尔函数。 (英语) Zbl 1457.68132号

Okamoto,Yoshio(编辑)等人,第28届算法和计算国际研讨会,2017年国际会计准则委员会,2017年12月9日至12日,泰国普吉岛。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。92,第29条,第11页(2017年)。
MSC公司:68问题32 06E30年
PDF格式BibTeX公司 XML格式引用
全文: 内政部

测试\(k\)-单调性。 (英语) Zbl 1402.68192号

Papadimitriou,Christos H.(编辑),第八届计算机科学理论创新会议,2017年ITCS,美国加利福尼亚州伯克利,2017年1月9日至11日。瓦登:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-95977-029-3)。LIPIcs–莱布尼茨国际信息学论文集67,第29条,第21页(2017年)。
MSC公司:68瓦20 06E30年 65年第68季度 68问题32 94立方厘米
PDF格式BibTeX公司 XML格式引用

嵌入到关系格中是无法确定的。 (英语) Zbl 1486.68050号

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

同伴、共同性和因果关系。 (英语) Zbl 1442.68149号

Esparza,Javier(编辑)等人,《软件科学和计算结构基础》。2017年4月22日至29日在瑞典乌普萨拉举行的第20届国际会议FOSSACS 2017,作为欧洲软件理论与实践联合会议ETAPS 2017的一部分。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。10203, 106-123 (2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

通过对偶的关系格。 (英语) Zbl 1477.06015号

Hasuo,Ichiro(编辑),计算机科学中的协代数方法。2016年4月2日至3日,第13届IFIP WG 1.3国际研讨会,CMCS 2016,与ETAPS 2016在荷兰埃因霍温共同举办。修订了选定的论文。查姆:斯普林格。莱克特。注释计算。科学。9608, 195-215 (2016).
PDF格式BibTeX公司 XML格式引用

稀疏布尔向量的低维半空间。 (英语) Zbl 1362.68123号

2013年1月9日至12日,美国加利福尼亚州伯克利市ITCS’13第四届理论计算机科学创新会议论文集。纽约州纽约市:计算机机械协会(ACM)(ISBN 978-1-4503-1859-4)。21-35 (2013).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

用析取范式实现零个数有界的布尔函数。 (俄语、英语) Zbl 1299.06028号

Zh公司。维奇尔。材质材质材质。 53,第9期,1569-1588(2013); 计算中的翻译。数学。数学。物理学。53,第9期,1391-1409(2013)。
MSC公司:06E30年
PDF格式BibTeX公司 XML格式引用
全文: 内政部

单调布尔变换器代数。 (英语) 兹比尔1349.68051

Simao,Adenilso(编辑)等,《形式方法、基础和应用》。2011年9月26日至30日,巴西圣保罗,第14届巴西研讨会,SBMF 2011。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-642-25031-6/pbk)。计算机科学讲义7021140-155(2011)。
MSC公司:68号30 06E30年
PDF格式BibTeX公司 XML格式引用
全文: 内政部

重新审视关系语义。 (英语) Zbl 1339.68156号

Hennessy,Matthew(编辑)等人,《结构操作语义第五次研讨会论文集》(SOS 2008),冰岛雷克雅未克,2008年7月6日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》229,第4期,第27-47页(2009年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

从指称语义学的角度进行抽象解释。 (英语) Zbl 1337.68162号

Abramsky,Samson(编辑)等人,第25届编程语义数学基础会议论文集(MFPS 2009),英国牛津,2009年4月3日至7日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记249,19-37(2009)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

并行部分有序过程的协调。 (英语。俄文原件) Zbl 1181.06002号

J.计算。系统。科学。国际。 47,第6号,881-906(2008); Izv的翻译。罗斯。阿卡德。特奥·诺克。修女。向上。2008年,第6期,46-73(2008)。
MSC公司:05年6月 68问题85
PDF格式BibTeX公司 XML格式引用
全文: 内政部

半环邻居:邻居逻辑的代数嵌入和扩展。 (英语) Zbl 1277.03028号

Romijn,Judi(ed.)等人,第五届综合正式方法会议(IFM 2005)附属博士研讨会论文集,荷兰埃因霍温,2005年11月29日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记191,49-72(2007)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

不完整示例的布尔分析。 (英语) 兹比尔1502.68141

Karlsson,Rolf(编辑)等人,《算法理论——SWAT’96》。第五届斯堪的纳维亚算法理论研讨会,冰岛雷克雅未克,1996年7月3日至5日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1097, 440-451 (1996).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

一种快速简单的识别2-单调正布尔函数的算法。 (英语) Zbl 1517.68407号

John Staples(编辑)等人,《算法与计算》。1995年12月4日至6日在澳大利亚凯恩斯举行的1995年ISAAC第六届国际研讨会。诉讼程序。柏林:Springer-Verlag。莱克特。注释计算。科学。1004, 291-300 (1995).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份