×

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

零知识和电路最小化。 (英语) Zbl 1378.68056号

Csuhaj-Varjü,Erzébet(编辑)等人,2014年计算机科学数学基础。2014年8月25-29日在匈牙利布达佩斯举行的2014年MFCS第39届国际研讨会。诉讼,第二部分。柏林:施普林格出版社(ISBN 978-3-662-44464-1/pbk)。计算机科学讲座笔记8635,25-32(2014)。
MSC公司:65年第68季度 05C60型 2015年第68季度 94立方厘米
PDF格式BibTeX公司 XML格式引用
全文: 内政部

图同构的简洁编码。 (英语) Zbl 1362.68228号

Dediu,Adrian-Horia(编辑)等人,《语言和自动机理论与应用》。2014年3月10日至14日在西班牙马德里举行的2014年拉丁美洲旅游协会第八届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-319-04920-5/pbk)。计算机科学课堂讲稿8370285-296(2014)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

由等深电路计算的布尔函数的同构测试。 (英语) Zbl 1310.94240号

Dediu,Adrian-Horia(编辑)等人,《语言和自动机理论与应用》。2012年3月5日至9日在西班牙科鲁尼亚举行的2012年拉丁美洲旅游协会第六届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-28331-4/pbk)。计算机科学讲义7183,83-94(2012)。
MSC公司:94立方厘米 65年第68季度 68瓦20 94C12号机组
PDF格式BibTeX公司 XML格式引用
全文: 内政部

布尔函数的超图同构与结构等价。 (英语) Zbl 1345.68176号

Vitter,Jeffrey Scott(编辑)等人,第31届ACM计算理论研讨会论文集,STOC 1999。1999年5月1日至4日,美国佐治亚州亚特兰大。纽约州纽约市:ACM,计算机协会(ISBN 1-58113-067-8)。652-658 (1999).
MSC公司:65年第68季度 05C65号 05C60型 94立方厘米
PDF格式BibTeX公司 XML格式引用
全文: 内政部

图同构识别算法及其在逻辑网络识别中的应用。 (英语。俄文原件) Zbl 0447.68075号

自动。控制计算。科学。 13,第4期,第18-23页(1979年); 来自Avtom的翻译。维奇尔。泰克。1979年,第4期,21-27(1979)。
MSC公司:68兰特 94立方厘米 94C15号机组 94-04
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

出版年份