彼得·格雷戈;米奇卡,Ondřej;托尔斯滕·穆策 关于中央层面的问题。 (英语) Zbl 1511.05121号 J.库姆。理论,Ser。B类 160, 163-205 (2023).MSC公司:05C45号 05A10号 06A07年 PDF格式BibTeX公司 XML格式引用 \textit{P.Gregor}等人,J.Comb。理论,Ser。乙160,163--205(2023;Zbl 1511.05121) 全文: 内政部 arXiv公司
克利须那州帕勒姆;范德洪;M.V.Panduranga Rao 集中布尔函数的量子学习。 (英语) Zbl 1508.81515号 量子信息处理。 21,第7号,第256号论文,23页(2022年).MSC公司:81页68 68问题32 06E30年 68T07型 PDF格式BibTeX公司 XML格式引用 \textit{K.Palem}等人,《量子信息处理》。21,第7号,第256号论文,23页(2022年;Zbl 1508.81515) 全文: 内政部
伊丽莎白·哈顿;Hoang、Hung P。;托尔斯滕·穆策;亚伦·威廉姆斯 通过置换语言进行组合生成。一: 基础知识。 (英语) Zbl 1484.05009号 事务处理。美国数学。Soc公司。 375,第4期,2255-2291(2022).MSC公司:05年05月05日 05C45号 05年6月 06年10月 52号B11 52号B12 PDF格式BibTeX公司 XML格式引用 \textit{E.Hartung}等人,翻译。美国数学。Soc.375,No.4,2255--2291(2022;Zbl 1484.05009) 全文: 内政部 arXiv公司 链接
詹姆斯·克兰奇;西蒙·多尔蒂;乔治·斯特鲁斯 卷积和并发。 (英语) Zbl 1490.68139号 数学。结构。计算。科学。 31,第8期,918-949(2021).MSC公司:68问题85 03G25号 07年6月 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Cranch}等人,数学。结构。计算。科学。31,第8号,918--949(2021;Zbl 1490.68139) 全文: 内政部 arXiv公司
尤塔·普里斯 用表格图表可视化网格。 (英语) Zbl 1496.68336号 Basu,Amrita(编辑)等人,《图解表示和推理》。第十二届国际会议,图表2021,虚拟,2021年9月28日至30日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12909, 378-386 (2021).MSC公司:68立方英尺 06B99号 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{U.棱镜},Lect。注释计算。科学。12909378--386(2021年;Zbl 1496.68336) 全文: 内政部
凯里里迪斯、阿纳斯塔西奥斯;安舒马利·施里瓦斯塔瓦;莫舍·瓦尔迪。;张志伟 通过多线性傅里叶展开求解连续空间中的混合布尔约束。 (英语) Zbl 1520.68105号 Artif公司。智力。 299,文章ID 103559,32 p.(2021).MSC公司:68兰特 06E30年 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Kyrillidis}等人,Artif。智力。299,文章ID 103559,32页(2021;Zbl 1520.68105) 全文: 内政部
罗宾·赫希;蒂姆·斯托克斯 具有域和恶魔组成的签名公理。 (英语) Zbl 1476.03086号 代数大学。 82,第2号,第24号论文,第19页(2021年). 审核人:格里戈里·日托米尔斯基(赫兹利娅) MSC公司:03G15年 05年6月 08A02号 20平方米 PDF格式BibTeX公司 XML格式引用 \textit{R.Hirsch}和\textit{T.Stokes},代数大学。82,第2号,第24号文件,第19页(2021年;Zbl 1476.03086) 全文: 内政部
阿拉西亚·延森;伊莎贝尔·贝奇 用于计算线性扩展的序列重要性抽样算法。 (英语) Zbl 1521.68250号 ACM J.实验算法。 25,第1.7号论文,第14页(2020年).MSC公司:68瓦20 06A07年 68卢比 PDF格式BibTeX公司 XML格式引用 \textit{A.Jensen}和\textit{I.Beichl},ACM J.实验算法。25,论文编号1.7,14 p.(2020;Zbl 1521.68250) 全文: 内政部 arXiv公司
马蒂亚斯·卡罗。 量子学习布尔线性函数w.r.t.乘积分布。 (英语) Zbl 1508.81423号 量子信息处理。 19,第6号,第172号文件,第41页(2020).MSC公司:81页68 06E30年 68问题32 PDF格式BibTeX公司 XML格式引用 \textit{M.C.Caro},量子信息处理。19,第6号,第172号论文,41页(2020年;Zbl 1508.81423) 全文: 内政部 arXiv公司
鲁道夫·伯哈默;海宁·施诺尔;温特,迈克尔 使用顺序和图形理论方法高效计算大归纳维数。 (英语) Zbl 1504.54025号 芬丹。通知。 177,编号2,95-113(2020). 审核人:Athanasios巨炎(拉米亚) MSC公司:54层45 68单位03 54时30分 06年06月06日 54个F05 PDF格式BibTeX公司 XML格式引用 \textit{R.Berghammer}等人,Fundam。通知。177,编号2,95--113(2020;Zbl 1504.54025) 全文: 内政部
胡安·卡洛斯·库库伊奇;吉勒莫莫拉莱斯·卢纳 基于弹性布尔映射的线性代码,其对偶是鲁棒秘密共享方案的平台。 (英语) 兹比尔1444.94126 线性代数应用。 596, 216-229 (2020). 审核人:马特奥·博尼尼(特伦托) MSC公司:94B05型 第51页第22页 06E30年 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{J.C.Ku-Cauich}和\textit{G.Morales-Luna},线性代数应用。596216-229(2020年;Zbl 1444.94126) 全文: 内政部
维塔利·伊万诺维奇·罗迪奥诺夫 偏序集计数问题中的递归关系。 (俄语。英文摘要) Zbl 1436.05050号 兄弟姐妹。È勒克特隆。Mat.Izv公司。 17, 190-207 (2020).MSC公司:05C30号 05年10月 06A07年 PDF格式BibTeX公司 XML格式引用 \textit{V.I.Rodionov},兄弟姐妹。È勒克特隆。Mat.Izv公司。17、190-207(2020;Zbl 1436.05050) 全文: 内政部
Elías F.Combarro。;朱伦·赫塔多·德·萨拉乔;艾琳·迪亚斯 Minimals Plus:部分序集线性扩张随机生成的改进算法。 (英语) Zbl 1453.06001号 信息科学。 501, 50-67 (2019).MSC公司:06-08 06年05月 06年06月06日 PDF格式BibTeX公司 XML格式引用 \textit{E.F.Combarro}等人,《信息科学》。501、50-67(2019年;Zbl 1453.06001) 全文: 内政部
玛丽亚·杰苏斯·坎皮翁;哥梅兹·波罗,克里斯蒂娜;埃斯特班·因杜拉因;拉文托斯·普约尔,阿马雅克 公理熵的数学基础综述:表示性和排序。 (英语) Zbl 1432.94047号 公理 7,第2号,第29号论文,37页(2018年).MSC公司:94甲17 06年06月06日 PDF格式BibTeX公司 XML格式引用 \textit{M.-J.Campión}等人,《公理7》,第2期,第29号论文,第37页(2018;Zbl 1432.94047) 全文: 内政部
郭兰坤;李庆国;姚玲娟 局部完备一致F-增广上下文:代数L-域的一类理论表示。 (英语) Zbl 1398.68515号 离散应用程序。数学。 249, 53-63 (2018).MSC公司:68立方英尺 06B35号 PDF格式BibTeX公司 XML格式引用 \textit{L.Guo}等人,离散应用。数学。249、53-63(2018年;Zbl 1398.68515) 全文: 内政部
埃马纽埃尔·贝法拉 阶代数:相互作用的定量模型。 (英语) Zbl 1398.68357号 数学。结构。计算。科学。 28,第7期,1126-1168(2018).MSC公司:68问题85 99年6月 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{E.Beffara},数学。结构。计算。科学。28,第7号,1126--1168(2018;Zbl 1398.68357) 全文: 内政部
圣托卡纳莱,路易吉 嵌入到关系格中是无法确定的。 (英语) Zbl 1394.68119号 J.日志。代数。方法计划。 97, 131-148 (2018).MSC公司:第68页,共15页 03天35分 05年6月 08A70号 PDF格式BibTeX公司 XML格式引用 \textit{L.Santocanale},J.日志。代数。方法计划。97、131--148(2018年;Zbl 1394.68119) 全文: 内政部 哈尔
里卡多·皮诺西奥;米歇尔·范·兰巴金 康德时间连续体的逻辑和拓扑。 (英语) Zbl 1395.01018号 版本符号。日志。 11,第1期,160-206(2018). 审核人:Robert W.van der Waall(阿姆斯特丹) MSC公司:01A50号 03-03 03B44号 03F99型 35楼06号 54E55型 PDF格式BibTeX公司 XML格式引用 \textit{R.Pinosio}和\textit{M.van Lambalgen},Rev.Symb。日志。11,第1号,160--206(2018;Zbl 1395.01018) 全文: 内政部
丁宁 具有有限多项式表示的不可知学习布尔函数。 (英语) 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格式引用 \textit{N.Ding},LIPIcs——莱布尼茨国际程序。通知。92,第29条,第11页(2017;Zbl 1457.68132) 全文: 内政部
沃洛德米尔·斯科贝列夫(Volodymyr G.Skobelev)。;伊万诺夫,列夫根;尼基琴科、米科拉 具有有序名称集的命名数据。 (英语) Zbl 1390.68197号 计算。科学。J.模具。 25,第2号(74),195-216(2017).MSC公司:68个P01 03E20型 06年05月 68第05页 第68页,共15页 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.G.Skobelev}等人,计算。科学。J.模具。25,第2号(74),195--216(2017;Zbl 1390.68197) 全文: 链接
Canonne,Clément L。;埃琳娜·格里戈雷斯库;郭思尧;阿卡什·库马尔;卡尔·威默 测试\(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格式引用 \textit{C.L.Canonne}等人,LIPIcs——莱布尼茨国际程序。通知。67,第29条,第21页(2017;Zbl 1402.68192) 全文: 内政部 arXiv公司
克利夫·乔斯林;亚历克斯·波格尔;艾米莉·普文 有限序集中的区间值秩。 (英语) Zbl 1414.06002号 订单 34,第3期,491-512(2017). 审核人:伊万·查伊达(Přerov) MSC公司:06年06月06日 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{C.Joslyn}等人,第34号令,第3号,491--512(2017;Zbl 1414.06002) 全文: 内政部 arXiv公司
A.埃斯特万。 关于双序结构,特别是分布式系统的一些结果。 (英语) Zbl 1396.91177号 数学杂志。心理学。 77, 70-81 (2017).MSC公司:第91页第16页 06年06月06日 54个F05 PDF格式BibTeX公司 XML格式引用 \textit{A.Estevan},J.数学。精神病。77、70-81(2017;Zbl 1396.91177) 全文: 内政部
圣托卡纳莱,路易吉 嵌入到关系格中是无法确定的。 (英语) Zbl 1486.68050号 Höfner,Peter(编辑)等人,《计算机科学中的关系和代数方法》。2017年5月15日至18日在法国里昂举行的2017年RAMiCS第16届国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10226, 258-273 (2017).MSC公司:第68页,共15页 03天35分 05年6月 08A70号 PDF格式BibTeX公司 XML格式引用 \textit{L.Santocanale},莱克特。注释计算。科学。10226、258--273(2017;Zbl 1486.68050) 全文: 内政部 哈尔
Damien Pous;朱里安·罗特 同伴、共同性和因果关系。 (英语) Zbl 1442.68149号 Esparza,Javier(编辑)等人,《软件科学和计算结构基础》。2017年4月22日至29日在瑞典乌普萨拉举行的第20届国际会议FOSSACS 2017,作为欧洲软件理论与实践联合会议ETAPS 2017的一部分。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。10203, 106-123 (2017).MSC公司:68问题85 03B70号 06B23号 08A70号 18立方厘米 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{D.Pous}和\textit{J.Rot},莱克特。注释计算。科学。10203、106-123(2017;Zbl 1442.68149) 全文: 内政部 链接
蔡岳;玛格丽特·雷迪。 \(q\)-斯特林数:一个新观点。 (英语) Zbl 1358.05031号 高级申请。数学。 86, 50-80 (2017).MSC公司:05A30型 06A07年 11B73号 18国道35号 PDF格式BibTeX公司 XML格式引用 \textit{Y.Cai}和\textit{M.A.Readdy},高级应用程序。数学。86、50-80(2017;Zbl 1358.05031) 全文: 内政部 arXiv公司
布里杰什·多戈尔;伊恩·海斯。;乔治·斯特鲁斯 卷积作为一个统一的概念:在分离逻辑、区间计算和并发中的应用。 (英语) Zbl 1367.68210号 ACM事务处理。计算。日志。 17,第3号,第15条,第25页(2016年).MSC公司:68问题85 03B70号 07年6月 第68季度55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Dongol}等人,ACM Trans。计算。日志。17,第3号,第15条,第25页(2016;Zbl 1367.68210) 全文: 内政部
格拉泽戈兹·班塞雷克 关于多集排序。 (英语) Zbl 1352.06004号 福尔马利兹。数学。 第2号第24页,第95-106页(2016年).MSC公司:06A99号 99年第68季度 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{G.Bancerek},正式。数学。24,第2号,95--106(2016;Zbl 1352.06004) 全文: 内政部
罗兰·巴克豪斯 因素理论和对立统一。 (英语) Zbl 1355.68180号 J.日志。代数。方法计划。 85,第5号,第2部分,824-846(2016).MSC公司:70年第68季度 2015年1月6日 68瓦32 PDF格式BibTeX公司 XML格式引用 \textit{R.Backhouse},J.Log。代数。方法计划。85,第5号,第2部分,824--846(2016;Zbl 1355.68180) 全文: 内政部
卢卡·法拉利 Dyck代数、区间时间逻辑和区间偏序集。 (英语) Zbl 1528.03135号 SIAM J.离散数学。 1918-1937年第4期30号(2016).MSC公司:03B44号 06A07年 06D20日 2015年1月5日 PDF格式BibTeX公司 XML格式引用 \textit{L.Ferrari},SIAM J.离散数学。1918-1937年第4期30号(2016年;Zbl 1528.03135) 全文: 内政部 arXiv公司
圣托卡纳莱,路易吉 通过对偶的关系格。 (英语) Zbl 1477.06015号 Hasuo,Ichiro(编辑),计算机科学中的协代数方法。2016年4月2日至3日,第13届IFIP WG 1.3国际研讨会,CMCS 2016,与ETAPS 2016在荷兰埃因霍温共同举办。修订了选定的论文。查姆:斯普林格。莱克特。注释计算。科学。9608, 195-215 (2016).MSC公司:06B15号 06B23号 08A70号 第68页,共15页 PDF格式BibTeX公司 XML格式引用 \textit{L.Santocanale},莱克特。注释计算。科学。9608195-215(2016;Zbl 1477.06015) 全文: 内政部 arXiv公司
尼古拉斯·加拉托斯;乔治·梅特卡夫 格序群的证明理论。 (英语) Zbl 1348.06011号 Ann.纯粹应用。逻辑 167,第8期,707-724(2016). 审核人:Michiro Kondo(Inzai) MSC公司:2015年1月6日 20层06 05年3月 08A50号 08B05号 PDF格式BibTeX公司 XML格式引用 \textit{N.Galatos}和\textit{G.Metcalfe},Ann.Pure Appl。逻辑167,No.8,707--724(2016;Zbl 1348.06011) 全文: 内政部
Han,Jun(韩俊);胡宝青 利用斜率函数生成区间的偏序。 (英语) Zbl 1361.03052号 模糊集系统。 266、67-83(2015年).MSC公司:03E72型 06年06月06日 PDF格式BibTeX公司 XML格式引用 \textit{J.Han}和\textit{B.Q.Hu},模糊集系统。2666-67--83(2015年;Zbl 1361.03052) 全文: 内政部
费卢兹·切尔 复合图的非确定性语义。 (英语) Zbl 1338.18021号 离散连续。动态。系统。,序列号。S公司 8,第6期,1357-1371(2015). 审核人:拉兹万·迪亚科内斯库(普洛耶什蒂) MSC公司:18立方厘米 18立方厘米50 第68季度55 68问题65 03B70号 06B35号 PDF格式BibTeX公司 XML格式引用 \textit{F.Tchier},离散Contin。动态。系统。,序列号。S 8,No.6,1357--1371(2015;Zbl 1338.18021) 全文: 内政部
金、多汉 群理论向量空间模型。 (英语) Zbl 1317.15004号 国际期刊计算。数学。 92,第8期,1536-1550(2015).MSC公司:15A03号 15A04号 06B15号 第68季度55 68第20页 PDF格式BibTeX公司 XML格式引用 \textit{D.Kim},国际计算机杂志。数学。92,No.8,1536--1550(2015;Zbl 1317.15004) 全文: 内政部 arXiv公司
钱伟康;马克·里德尔。;伊沃·罗森博格 合成立方体以满足给定的交集模式。 (英语) Zbl 1339.94101号 离散应用程序。数学。 193, 11-38 (2015).MSC公司:94立方厘米 06E30年 94D05型 PDF格式BibTeX公司 XML格式引用 \textit{W.Qian}等人,《离散应用》。数学。193、11--38(2015年;Zbl 1339.94101) 全文: 内政部
菲利普·M·朗。;罗科·A·塞韦迪奥。 稀疏布尔向量的低维半空间。 (英语) Zbl 1362.68123号 2013年1月9日至12日,美国加利福尼亚州伯克利市ITCS’13第四届理论计算机科学创新会议论文集。纽约州纽约市:计算机机械协会(ACM)(ISBN 978-1-4503-1859-4)。21-35 (2013).MSC公司:68问题32 06E30年 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.M.Long}和\textit{R.A.Servedio},摘自:《第四届理论计算机科学创新会议论文集》,ITCS’13,美国加州伯克利,2013年1月9-12日。纽约州纽约市:计算机协会(ACM)。21-35(2013;Zbl 1362.68123) 全文: 内政部
弗朗西斯科·萨帕塔;弗拉基克·克里诺维奇;克利夫·乔斯林;艾米莉·霍根 偏序集上区间的阶:推广Allen代数和区间图的结果。 (英语) Zbl 1326.06005号 软计算。 17,第8期,1379-1391(2013).MSC公司:06年06月06日 05C90年 91B06型 PDF格式BibTeX公司 XML格式引用 \textit{F.Zapata}等人,《软计算》。17,第8号,1379--1391(2013;Zbl 1326.06005) 全文: 内政部 链接
马克西莫夫,余。五、。 用析取范式实现零个数有界的布尔函数。 (俄语、英语) Zbl 1299.06028号 Zh公司。维奇尔。材质材质材质。 53,第9期,1569-1588(2013); 计算中的翻译。数学。数学。物理学。53,第9期,1391-1409(2013)。MSC公司:06E30年 PDF格式BibTeX公司 XML格式引用 \textit{Yu.V.Maximov},Zh。维奇尔。Mat.Mat.Fiz公司。53,第9号,1569--1588(2013;Zbl 1299.06028);计算中的翻译。数学。数学。物理学。53,第9号,1391--1409(2013) 全文: 内政部
托尔斯滕·哈曼;迈克尔·格里宁格 基于区域空间的代表性理论的补充。 (英语) Zbl 1262.68164号 圣母院J.形式逻辑 54,No.2,177-214(2013).MSC公司:68T27型 54甲10 06C15年 PDF格式BibTeX公司 XML格式引用 \textit{T.Hahmann}和\textit{M.Grüninger},圣母院J.形式逻辑54,No.2,177--214(2013;Zbl 1262.68164) 全文: 内政部 欧几里得
蒂姆·斯托克斯 偏序集和预映象拟序上的半群作用。 (英语) Zbl 1283.06009号 半群论坛 85,第3期,540-558(2012).MSC公司:2011年1月6日 20平方米 20立方米 PDF格式BibTeX公司 XML格式引用 \textit{T.Stokes},半群论坛85,第3期,540-558(2012;Zbl 1283.06009) 全文: 内政部
杰弗里·海因茨;安娜·卡斯普齐克;蒂莫·科茨 格结构假设空间的极限学习。 (英语) Zbl 1253.68188号 西奥。计算。科学。 457, 111-127 (2012).MSC公司:68问题32 68T05型 65年第68季度 06B35号 PDF格式BibTeX公司 XML格式引用 \textit{J.Heinz}等人,Theor。计算。科学。457111--127(2012;Zbl 1253.68188) 全文: 内政部
张伟国;孙曦;杨俊波 关于构造1-欺骗免疫分泌物共享函数。 (英语) Zbl 1242.94034号 国际期刊计算。数学。 89,第1期,30-34页(2012年).MSC公司:94A60型 06E30年 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{W.Zhang}等人,国际计算机杂志。数学。89,第1号,30--34(2012;Zbl 1242.94034) 全文: 内政部
普洛塔萨,维奥雷尔 单调布尔变换器代数。 (英语) 兹比尔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格式引用 \textit{V.Preoteasa},莱克特。注释计算。科学。7021140-155(2011年;Zbl 1349.68051) 全文: 内政部
丹尼斯·布伊苏;蒂埃里·马钱特 具有边界的生物目。 (英语) Zbl 1225.06004号 订单 28,第1期,53-87(2011). 审核人:Renata Majovská(HorníSouá) MSC公司:06A75号 PDF格式BibTeX公司 XML格式引用 \textit{D.Bouyssou}和\textit{T.Marchant},第28号令,第1号,第53-87条(2011年;Zbl 1225.06004) 全文: 内政部 链接
莫舍·德罗;乔治·斯坦纳 调度中的“强”-“弱”优先级:系列并行订单的扩展。 (英语) Zbl 1198.90176号 离散应用程序。数学。 158,第16期,1767-1776(2010).MSC公司:90B35型 90C60型 06年06月06日 PDF格式BibTeX公司 XML格式引用 \textit{M.Dror}和\textit{G.Steiner},离散应用。数学。158,第16号,1767--1776(2010;Zbl 1198.90176) 全文: 内政部
达尼尔·格布纳;帕尔沃格伊、德莫特奥;巴拉兹·帕特科斯;加博尔·维纳 用一个谎言找出最大和最小元素。 (英语) Zbl 1200.68085号 离散应用程序。数学。 158,第9期,988-995(2010).MSC公司:68页第10页 06年05月 PDF格式BibTeX公司 XML格式引用 \textit{D.Gerbner}等人,《离散应用》。数学。158,第9号,988--995(2010;Zbl 1200.68085) 全文: 内政部
Natarajan Shankar PVS中的固定点和搜索。 (英语) Zbl 1186.68302号 Müller,Peter(编辑),软件工程高级讲座。激光暑期学校2007/2008。柏林:施普林格出版社(ISBN 978-3-642-13009-0/pbk)。计算机科学课堂讲稿6029140-161(2010)。MSC公司:60年第68季度 06B23号 68吨15 68周05 PDF格式BibTeX公司 XML格式引用 \textit{N.Shankar},莱克特。注释计算。科学。6029140-161(2010年;Zbl 1186.68302) 全文: 内政部
最好的,艾克;克尔斯汀·斯特雷克 重新审视关系语义。 (英语) Zbl 1339.68156号 Hennessy,Matthew(编辑)等人,《结构操作语义第五次研讨会论文集》(SOS 2008),冰岛雷克雅未克,2008年7月6日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》229,第4期,第27-47页(2009年)。MSC公司:第68季度55 06B35号 68号30 PDF格式BibTeX公司 XML格式引用 \textit{E.Best}和\textit{K.Strecker},电子。注释Theor。计算。科学。229,编号4,27-47(2009;Zbl 1339.68156) 全文: 内政部
戴维·施密特(David A.Schmidt)。 从指称语义学的角度进行抽象解释。 (英语) Zbl 1337.68162号 Abramsky,Samson(编辑)等人,第25届编程语义数学基础会议论文集(MFPS 2009),英国牛津,2009年4月3日至7日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记249,19-37(2009)。MSC公司:第68季度55 2015年1月6日 06B35号 PDF格式BibTeX公司 XML格式引用 \textit{D.A.Schmidt},电子。注释Theor。计算。科学。249、19-37(2009年;Zbl 1337.68162) 全文: 内政部
I.A.戈洛文斯基。 并行部分有序过程的协调。 (英语。俄文原件) Zbl 1181.06002号 J.计算。系统。科学。国际。 47,第6号,881-906(2008); Izv的翻译。罗斯。阿卡德。特奥·诺克。修女。向上。2008年,第6期,46-73(2008)。MSC公司:05年6月 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{I.A.Golovinskij},J.计算。系统。科学。国际47号,第6号,881--906(2008;Zbl 1181.06002);Izv的翻译。罗斯。阿卡德。特奥·诺克。修女。向上。2008年,第6号,46--73(2008) 全文: 内政部
托马斯·艾特;Kazuhisa Makino;乔治·戈特洛布 单调二元化的计算方面:一个简短的调查。 (英语) Zbl 1160.68016号 离散应用程序。数学。 156,第11号,2035-2049(2008).MSC公司:65年第68季度 05年6月15日 05C85号 06E30年 68瓦xx PDF格式BibTeX公司 XML格式引用 \textit{T.Eiter}等人,《离散应用》。数学。156,第11号,2035--2049(2008;Zbl 1160.68016) 全文: 内政部
彼得·霍夫纳 半环邻居:邻居逻辑的代数嵌入和扩展。 (英语) Zbl 1277.03028号 Romijn,Judi(ed.)等人,第五届综合正式方法会议(IFM 2005)附属博士研讨会论文集,荷兰埃因霍温,2005年11月29日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记191,49-72(2007)。MSC公司:03B70号 03B44号 07年6月 2016年60月 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Höfner},电子。注释Theor。计算。科学。191、49-72(2007年;Zbl 1277.03028) 全文: 内政部
加布里埃拉·亚历克斯;索林·亚历克斯;Bonates,Tibérius O。;亚历山大·科根 数据逻辑分析——Peter L.Hammer的愿景。 (英语) Zbl 1126.68064号 安。数学。Artif公司。智力。 49,No.1-4,265-312(2007).MSC公司:68T05型 68吨10 06E30年 2015年1月5日 90立方厘米 92 C50 PDF格式BibTeX公司 XML格式引用 \textit{G.Alexe}等人,《数学年鉴》。Artif公司。智力。49,编号1-4265-312(2007年;Zbl 1126.68064) 全文: 内政部
纳鸿·德肖维茨;埃勒曼,E.卡斯特多 最倾斜的准有序。 (英语) Zbl 1112.68075号 Inf.计算。 205,第4期,535-556(2007).MSC公司:2012年第68季度 06年06月06日 PDF格式BibTeX公司 XML格式引用 \textit{N.Dershowitz}和\textit{E.C.Ellerman},Inf.Comput。205,编号4355-556(2007年;Zbl 1112.68075) 全文: 内政部
伊萨尔·斯塔布 朝向“动态域”:完全连续的cocomplete(mathcal Q)-categories。 (英语) Zbl 1111.68073号 西奥。计算。科学。 373,编号1-2142-160(2007).MSC公司:第68季度55 07年6月 18D20天 03B70号 03克12 18立方厘米35 18个B05 PDF格式BibTeX公司 XML格式引用 \发短信{I.Stubbe},Theor。计算。科学。373,编号1--2,142-160(2007;Zbl 1111.68073) 全文: 内政部 arXiv公司
安东尼·马丁;彼得·哈默。 布尔相似性度量。 (英语) Zbl 1106.94025号 离散应用程序。数学。 154,第16号,2242-2246(2006).MSC公司:94立方厘米 06E30年 68T05型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{M.Anthony}和\textit{P.L.Hammer},离散应用程序。数学。154,第16号,2242--2246(2006;Zbl 1106.94025) 全文: 内政部
罗伯托·贾科巴齐;伊莎贝拉·马斯特罗埃尼 通过抽象解释转换语义。 (英语) Zbl 1080.68061号 西奥。计算。科学。 337,编号1-3,1-50(2005). 审核人:Damas Gruska(布拉迪斯拉发) MSC公司:第68季度55 06B35号 PDF格式BibTeX公司 XML格式引用 \textit{R.Giacobazzi}和\textit{I.Mastroeni},Theor。计算。科学。337,编号1--3,1--50(2005;Zbl 1080.68061) 全文: 内政部
谭一嘉 关于分配格上的幂零矩阵。 (英语) Zbl 1062.06021号 模糊集系统。 151,第2期,421-433(2005).MSC公司:99年6月 15B57号 03E72型 PDF格式BibTeX公司 XML格式引用 \textit{Y.-j.Tan},模糊集系统。151,第2号,421--433(2005;Zbl 1062.06021) 全文: 内政部
肖良良;刘木兰 线性秘密共享方案和访问结构的重排。 (英语) 兹比尔1063.94088 数学学报。申请。罪。,英语。序列号。 20,第4期,685-694(2004).MSC公司:94A62型 06E30年 PDF格式BibTeX公司 XML格式引用 \textit{L.Xiao}和\textit{M.Liu},《数学学报》。申请。罪。,英语。序列号。20,第4号,685--694(2004;Zbl 1063.94088) 全文: 内政部
马内斯,厄尼 集合的单数。 (英语) Zbl 1064.18003号 Hazewinkel,M.(编辑),《代数手册》。第3卷。阿姆斯特丹:爱思唯尔(ISBN 0-444-51264-0/hbk)。67-153 (2003). 审核人:彼得·约翰斯通(剑桥) MSC公司:18立方厘米 06B35号 08C05号机组 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{E.Manes},in:代数手册。第3卷。阿姆斯特丹:爱思唯尔。67-153(2003年;Zbl 1064.18003)
靖子武胜;山岛,Shuzo 识别最小有序二元决策图的困难。 (英语) Zbl 0965.68076号 离散应用程序。数学。 107,编号1-3,191-201(2000).MSC公司:68兰特 06E30年 PDF格式BibTeX公司 XML格式引用 \textit{Y.Takenaga}和\textit{S.Yajima},离散应用程序。数学。107,编号1--3,191--201(2000;Zbl 0965.68076) 全文: 内政部
罗兰·巴克豪斯 对代数和Galois连接。 (英语) Zbl 1341.06004号 Inf.流程。莱特。 67,第4期,169-175(1998).MSC公司:2015年1月6日 06年06月06日 08A70号 PDF格式BibTeX公司 XML格式引用 \textit{R.Backhouse},Inf.过程。莱特。67,第4号,169--175(1998年;Zbl 1341.06004) 全文: 内政部 链接
莱因霍尔德·赫克曼;哈,迈克尔 定量语义、拓扑和可能性度量。 (英语) Zbl 0927.06004号 拓扑应用程序。 89,编号1-2,151-178(1998). 审核人:B.F.Šmarda(布尔诺) MSC公司:06B35号 第68季度55 06立方厘米 54A05型 06B23号 PDF格式BibTeX公司 XML格式引用 \textit{R.Heckmann}和\textit{M.Huth},拓扑应用。89,编号1--2,151--178(1998;Zbl 0927.06004) 全文: 内政部
托马斯·艾特;茨城,东芝;Kazuhisa Makino 双喇叭功能。 (英语) Zbl 0912.06011号 Inf.计算。 144,No.2,155-190(1998). 审核人:S.Rudeanu(布凯什蒂) MSC公司:06E30年 65年第68季度 03B05号 PDF格式BibTeX公司 XML格式引用 \textit{T.Eiter}等人,《信息计算》。144,第2号,155--190(1998;Zbl 0912.06011) 全文: 内政部
恩德雷·博罗斯;茨城,东芝;Kazuhisa Makino 部分定义布尔函数的无错误且最适合的扩展。 (英语) Zbl 0892.68091号 Inf.计算。 140,第2期,254-283(1998年).MSC公司:68T05型 65年第68季度 06E30年 PDF格式BibTeX公司 XML格式引用 \textit{E.Boros}等人,《信息计算》。140,第2号,254--283(1998;Zbl 0892.68091) 全文: 内政部 链接
格拉泽戈兹·斯塔乔维克 通过对合求奇偶差。 (英语) Zbl 0873.05002号 离散数学。 163,编号1-3,139-151(1997). 审核人:H.Müller(耶拿) MSC公司:05年05月05日 06A07年 05C30号 05二氧化碳 05C45号 2015年1月5日 65年第68季度 68兰特 68卢比 PDF格式BibTeX公司 XML格式引用 \textit{G.Stachowiak},离散数学。163,编号1--3,139-151(1997;Zbl 0873.05002) 全文: 内政部
内德·H·比肖蒂。 使用分治的简单学习算法。 (英语) 兹伯利0868.68094 计算。复杂性 6,第2期,174-194(1997).MSC公司:68T05型 06E30年 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.H.Bshouty},计算。复杂性6,No.2,174--194(1997;Zbl 0868.68094) 全文: 内政部
亚历山德罗·普罗韦蒂 事件排序:间隔足够了,通常不需要更通用的集合。 (英语) Zbl 0858.65046号 Reliab公司。计算。 2,第3期,321-327(1996). 审核人:S.Markov(索菲亚) MSC公司:65G30型 06年06月06日 PDF格式BibTeX公司 XML格式引用 \textit{A.Provetti},Reliab。计算。2,第3号,321--327(1996;Zbl 0858.65046) 全文: 内政部
杰森·布朗。;史蒂芬·沃森 拓扑在(n)点上的补数至少为(2^n)(某些特殊情况除外)。 (英语) Zbl 0852.05008号 离散数学。 154,编号1-3,27-39(1996). 审核人:P.L.Erdös(布达佩斯) MSC公司:2015年1月5日 54A10号 06A07年 PDF格式BibTeX公司 XML格式引用 \textit{J.I.Brown}和\textit{S.Watson},离散数学。154,编号1--3,27-39(1996;Zbl 0852.05008) 全文: 内政部
安德烈·巴郎加 \({\mathbf Z}\)-连续偏序集。 (英语) Zbl 0851.06003号 离散数学。 152,编号1-3,33-45(1996).MSC公司:06B35号 2015年1月6日 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{A.Baranga},离散数学。152,编号1-3,33-45(1996年;Zbl 0851.06003) 全文: 内政部
恩德雷·博罗斯;茨城,东芝;Kazuhisa Makino 不完整示例的布尔分析。 (英语) 兹比尔1502.68141 Karlsson,Rolf(编辑)等人,《算法理论——SWAT’96》。第五届斯堪的纳维亚算法理论研讨会,冰岛雷克雅未克,1996年7月3日至5日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1097, 440-451 (1996).MSC公司:68问题32 03B70号 06E30年 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Boros}等人,Lect。注释计算。科学。1097440-451(1996年;Zbl 1502.68141) 全文: 内政部
德山武史;中野,Jun 最小费用分配问题的几何算法。 (英语) Zbl 0839.68073号 随机结构。算法 6,第4期,393-406(1995).MSC公司:68兰特 94立方厘米 06E30年 PDF格式BibTeX公司 XML格式引用 \textit{T.德山}和\textit{J.中野},随机结构。算法6,No.4,393--406(1995;Zbl 0839.68073) 全文: 内政部
安东尼·马丁 按多项式曲面分类。 (英语) Zbl 0838.94022号 离散应用程序。数学。 61,第2期,91-103(1995). 审核人:N.Ţnd'e reanu(克雷奥瓦) MSC公司:94立方厘米 06E30年 PDF格式BibTeX公司 XML格式引用 \textit{M.Anthony},离散应用程序。数学。61,第2号,91--103(1995;Zbl 0838.94022) 全文: 内政部
Bioch,Jan C。;茨城,东芝 正自对偶布尔函数的分解。 (英语) Zbl 0839.94016号 离散数学。 140,编号1-3,23-46(1995). 审核人:A.A.Mullin(亨茨维尔) MSC公司:94立方厘米 06E30年 PDF格式BibTeX公司 XML格式引用 \textit{J.C.Bioch}和\textit{T.Ibaraki},离散数学。140,编号1--3,23-46(1995;Zbl 0839.94016) 全文: 内政部
Kazuhisa Makino;茨城,东芝 一种快速简单的识别2-单调正布尔函数的算法。 (英语) Zbl 1517.68407号 John Staples(编辑)等人,《算法与计算》。1995年12月4日至6日在澳大利亚凯恩斯举行的1995年ISAAC第六届国际研讨会。诉讼程序。柏林:Springer-Verlag。莱克特。注释计算。科学。1004, 291-300 (1995).MSC公司:68周05 06E30年 68第05页 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{K.Makino}和\textit{T.茨城},莱克特。注释计算。科学。1004291-300(1995年;兹比尔1517.68407) 全文: 内政部
英戈·韦格纳 布尔函数的高效数据结构。 (英语) 兹伯利0939.68597 离散数学。 136,编号1-3,347-372(1994).MSC公司:68第05页 06E30年 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{I.Wegener},离散数学。136,编号1--3,347--372(1994;Zbl 0939.68597) 全文: 内政部
杰森·布朗。;史蒂芬·沃森 部分序互补图。 (英语) 兹伯利0814.06005 订单 11,第3期,237-255(1994年).MSC公司:06年06月06日 54A10号 06A07年 PDF格式BibTeX公司 XML格式引用 \textit{J.I.Brown}和\textit{S.Watson},第11号令,第3号,237--255(1994;Zbl 0814.06005) 全文: 内政部
Jourdan,Guy-Vincent先生;Jean-Xavier Rampon公司;克洛德·贾德 在线计算偏序集的最大反链格。 (英语) Zbl 0814.06004号 订单 11,第3期,197-210(1994).MSC公司:06年06月06日 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.-V.Jourdan}等人,第11号令,第3号,197--210(1994;Zbl 0814.06004) 全文: 内政部
Majster-Cederbaum,M.E.(医学博士)。;Zetzsche,F。 基于cpo的语义与基于cms的\(CSP\)语义的比较。 (英语) Zbl 0795.68125号 西奥。计算。科学。 124,第1期,第1-40页(1994年).MSC公司:第68季度55 06B35号 54E50型 PDF格式BibTeX公司 XML格式引用 \textit{M.E.Majster-Cederbaum}和\textit{F.Zetzsche},Theor。计算。科学。124,编号1,1-40(1994;兹bl 0795.68125) 全文: 内政部
加拉·普鲁西;弗兰克·拉斯基 反残暴的灰色代码。 (英语) Zbl 0790.05054号 订单 10,第3期,239-252(1993).MSC公司:05C45号 05B35号 06年06月06日 06年05月 PDF格式BibTeX公司 XML格式引用 \textit{G.Pruesse}和\textit{F.Ruskey},第10号令,第3号,239--252(1993;Zbl 0790.05054) 全文: 内政部
G.卡恩。;普洛金,G.D。 混凝土领域。 (英语) Zbl 0809.68085号 西奥。计算。科学。 121,编号1-2187-277(1993). 审核人:C.Masalagiu(伊阿什) MSC公司:第68季度55 68甲15 06B35号 PDF格式BibTeX公司 XML格式引用 \textit{G.Kahn}和\textit{G.D.Plotkin},Theor。计算。科学。121,编号1--2,187-277(1993;Zbl 0809.68085) 全文: 内政部
保罗·加斯丁;布里吉特·罗佐伊 无穷轨迹的偏序集。 (英语) Zbl 0787.68056号 西奥。计算。科学。 120,第1期,101-121(1993). 审核人:R.Janicki(汉密尔顿/安大略省) MSC公司:68瓦35 06B35号 PDF格式BibTeX公司 XML格式引用 \textit{P.Gastin}和\textit{B.Rozoy},Theor。计算。科学。120,编号1,101--121(1993;Zbl 0787.68056) 全文: 内政部
杰森·布朗。;斯蒂芬·沃森 相互补充的部分订单。 (英语) Zbl 0771.06001号 离散数学。 113,第1-3号,第27-39号(1993年).MSC公司:06A07年 54D10号 PDF格式BibTeX公司 XML格式引用 \textit{J.I.Brown}和\textit{S.Watson},离散数学。113,编号1--3,27-39(1993;Zbl 0771.06001) 全文: 内政部
Acharyulu,Gomatam V.S.公司。 矩阵表示的so-rings。 (英语) Zbl 0766.06017号 半群论坛 46,第1期,37-47(1993). 审核人:J.Ševečková(布尔诺) MSC公司:2015年2月6日 15B36型 PDF格式BibTeX公司 XML格式引用 \textit{G.V.S.Acharyulu},半群论坛46,第1期,37-47(1993;Zbl 0766.06017) 全文: 内政部 欧洲DML
后退,R.J.R。;冯·赖特,J。 在程序规范中结合了天使、恶魔和奇迹。 (英语) Zbl 0754.68078号 西奥。计算。科学。 100,第2期,365-383(1992).MSC公司:第68季度55 60年第68季度 06B35号 PDF格式BibTeX公司 XML格式引用 \textit{R.J.R.Back}和\textit{J.von Wright},Theor。计算。科学。100,第2号,365--383(1992;Zbl 0754.68078) 全文: 内政部
Shmuel Katz;多龙·贝利德 使用代表性交错序列验证分布式程序。 (英语) Zbl 0773.68053号 分布计算。 6,第2期,107-120(1992).MSC公司:60年第68季度 68宽15 第68季度55 06B35号 PDF格式BibTeX公司 XML格式引用 \textit{S.Katz}和\textit{D.Peled},分布计算。6,编号2,107-120(1992;Zbl 0773.68053) 全文: 内政部
约瑟夫·戈根(Joseph A.Goguen)。;何塞·梅塞盖尔 有序代数。一: 多重继承、重载、异常和部分操作的等式推导。 (英语) 兹比尔0778.68056 西奥。计算。科学。 105,第2期,217-273(1992). 审核人:S.Bloom(霍博肯) MSC公司:第68季度55 08A70号 99年6月 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Goguen}和\textit{J.Meseguer},Theor。计算。科学。105,第2号,217--273(1992;Zbl 0778.68056) 全文: 内政部
安德鲁·皮特斯(Andrew M.Pitts)。 关于一阶直觉主义命题逻辑中二阶量化的解释。 (英语) Zbl 0763.03009号 J.塞姆。日志。 57,第1期,第33-52页(1992年).MSC公司:03B20型 06D20日 03G10年 PDF格式BibTeX公司 XML格式引用 \发短信给{A.M.Pitts},J.Symb。日志。57,编号1,33-52(1992;Zbl 0763.03009) 全文: 内政部
杰诺斯·德梅特罗维奇;利奥尼德·利金;伊利亚·穆奇尼克。 关系数据库中的功能依赖:一个格子观点。 (英语) 兹比尔0767.68029 离散应用程序。数学。 40,第2期,155-185(1992).MSC公司:第68页,共15页 2012年1月6日 PDF格式BibTeX公司 XML格式引用 \textit{J.Demetrovics}等人,《离散应用》。数学。40,第2号,155--185(1992;Zbl 0767.68029) 全文: 内政部
萨姆森·艾布拉姆斯基 逻辑形式的领域理论。 (英语) Zbl 0737.03006号 Ann.纯粹应用。逻辑 51,第1-2、1-77号(1991年). 审核人:G.乔巴努(伊阿什) MSC公司:03B70号 第68季度55 2015年6月 PDF格式BibTeX公司 XML格式引用 \textit{S.Abramsky},Ann.纯粹应用。逻辑51,编号1--2,1--77(1991;Zbl 0737.03006) 全文: 内政部
沃恩·普拉特 动态代数:例子,构造,应用。 (英语) 兹伯利0752.03033 螺柱日志。 50,编号3-4,571-605(1991). 审核人:Hirokazu Nishimura(茨城) MSC公司:05年3月 03B70号 03B45号 06E25年 PDF格式BibTeX公司 XML格式引用 \textit{V.Pratt},Stud.Log。50,编号3--4,571--605(1991;Zbl 0752.03033) 全文: 内政部
拉菲·海曼;阿维·威格德森 只读布尔函数的随机与确定性决策树复杂性。 (英语) Zbl 0774.68061号 计算。复杂性 1,第4期,311-329(1991).MSC公司:65年第68季度 06E30年 94D10号 PDF格式BibTeX公司 XML格式引用 \textit{R.Heiman}和\textit{A.Wigderson},计算机。复杂性1,No.4,311--329(1991;Zbl 0774.68061) 全文: 内政部
彼得·戴比杰 逆图像分析概括了严格性分析。 (英语) Zbl 0715.68052号 Inf.计算。 90,第2期,194-216(1991).MSC公司:第68季度55 06B35号 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{P.Dybjer},信息计算。90,第2号,194--216(1991;Zbl 0715.68052) 全文: 内政部
马塞尔·欧内;库尔特·斯特奇 计算有限偏序集和拓扑。 (英语) Zbl 0752.05002号 订单 8,第3期,247-265(1991). 审核人:M.马克思(彭萨科拉) MSC公司:2015年1月5日 06A07年 54A25型 19年5月 54D10号 PDF格式BibTeX公司 XML格式引用 \textit{M.Erné}和\textit{K.Stege},第8号令,第3号,247--265(1991;Zbl 0752.0502) 全文: 内政部
伯纳黛特·查伦·博斯特 关于分布式系统中逻辑时钟的大小。 (英语) Zbl 0735.68003号 Inf.流程。莱特。 39,第1期,11-16页(1991年).MSC公司:68M10个 06年06月06日 PDF格式BibTeX公司 XML格式引用 \textit{B.Charron-Bost},信息处理。莱特。39,编号1,11--16(1991;Zbl 0735.68003) 全文: 内政部
约瑟夫·卡伯森(Joseph C.Culberson)。;格雷戈里·罗林斯。 偏序集计数算法的新结果。 (英语) 兹比尔0738.06002 订单 7,第4期,361-374(1991). 审核人:R.Firlová(哈维罗夫·梅斯托) MSC公司:06A07年 05C30号 68卢比 2004年6月 PDF格式BibTeX公司 XML格式引用 \textit{J.C.Culberson}和\textit{G.J.E.Rawlins},第7号令,第4号,361--374(1991;Zbl 0738.06002) 全文: 内政部
杰森·布朗。;斯蒂芬·沃森 自互补拓扑和预订单。 (英语) Zbl 0744.06001号 订单 7,第4期,317-328(1991). 审核人:B.贝伦斯(哥德堡) MSC公司:06年06月06日 54A10号 06立方厘米 05C20号 PDF格式BibTeX公司 XML格式引用 \textit{J.I.Brown}和\textit{S.Watson},第7号令,第4号,317--328(1991;Zbl 0744.06001) 全文: 内政部
汉斯·齐勒 关系代数域构造。 (英语) Zbl 0741.68074号 西奥。计算。科学。 87,第1期,163-188(1991).MSC公司:第68季度55 03G15年 06B15号 PDF格式BibTeX公司 XML格式引用 \textit{H.Zierer},Theor(西奥)。计算。科学。87,第1号,163--188(1991;Zbl 0741.68074) 全文: 内政部
Reine福尼尔;格雷戈尔·冯·博克曼 DCP模型中的等效性。 (英语) Zbl 0737.68031号 西奥。计算。科学。 87,第1期,97-114(1991). 审核人:格里戈拉斯 MSC公司:2010年第68季度 06年06月06日 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{R.Fournier}和\textit{G.von Bochmann},Theor。计算。科学。87,第1号,97--114(1991;Zbl 0737.68031) 全文: 内政部