亚伯拉罕·普南(Abraham P.Punnen)。;奥列娜·查波夫斯卡 瓶颈\(k\)-MST。 (英语) Zbl 1185.68859号 信息处理。莱特。 95,第5期,512-517(2005).MSC公司:68周25 2015年第68季度 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{A.P.Punnen}和\textit{O.Chapovska},Inf.过程。莱特。95,第5号,512--517(2005;Zbl 1185.68859) 全文: 内政部
坚吾Katayama;滨本明弘;Hiroyuki Narihisa 最大团问题的有效局部搜索。 (英语) Zbl 1185.68283号 信息处理。莱特。 95,第5期,503-511(2005).MSC公司:68页第10页 68兰特 68周05 05C85号 PDF格式BibTeX公司 XML格式引用 \textit{K.Katayama}等人,《Inf.过程》。莱特。95,第5号,503--511(2005;Zbl 1185.68283) 全文: 内政部
Ian F.布莱克。;V.Kumar Murty;徐光武 关于window\(\tau\)-NAF算法的注释。 (英语) 兹比尔1182.94037 信息处理。莱特。 95,第5期,496-502(2005).MSC公司:94A60型 14G50型 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{I.F.Blake}等人,《Inf.过程》。莱特。95,第5号,496--502(2005;Zbl 1182.94037) 全文: 内政部
莫里斯·比克。;码头Kleijn I/O自动机团队的模块化。 (英语) 兹比尔1185.68382 信息处理。莱特。 95,第5期,487-495(2005).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.H.ter Beek}和\textit{J.Kleijn},Inf.Process。莱特。95,第5号,487--495(2005;Zbl 1185.68382) 全文: 内政部
Min、Kyung-Sub;金孝珠 一种用于高效结构连接的基于路径的节点过滤方法。 (英语) Zbl 1185.68297号 信息处理。莱特。 95,编号5,480-486(2005).MSC公司:第68页,共15页 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{K.-S.Min}和\textit{H.-J.Kim},Inf.过程。莱特。95,第5号,480-486(2005;Zbl 1185.68297) 全文: 内政部
布鲁诺·布兰切特 安全协议:通过抽象解释从线性逻辑到经典逻辑。 (英语) Zbl 1185.68310号 信息处理。莱特。 95,第5期,473-479(2005).MSC公司:68第25页 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Blanchet},Inf.流程。莱特。95,第5号,473--479(2005;Zbl 1185.68310) 全文: 内政部