奥尔纳·库普弗曼;阿米尔·普努利;莫舍·瓦尔迪。 一次和为所有人. (英语) Zbl 1245.03022号 J.计算。系统。科学。 78,第3期,981-996(2012).MSC公司:03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Kupferman}等人,《计算杂志》。系统。科学。78,第3号,981-996(2012;Zbl 1245.03022) 全文: 内政部
大卫·哈雷;意大利塞格尔 基于场景的规范的合成。 (英语) Zbl 1246.68095号 J.计算。系统。科学。 78,第3号,970-980(2012).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{D.Harel}和\textit{I.Segall},J.Comput。系统。科学。78,第3号,970--980(2012;Zbl 1246.68095) 全文: 内政部
尼西姆·弗朗西兹 不同类型的逻辑语义定义何时定义等价含义? (英语) Zbl 1256.03035号 J.计算。系统。科学。 78,第3号,960-969(2012).MSC公司:03B65号 PDF格式BibTeX公司 XML格式引用 \textit{N.Francez},J.计算。系统。科学。78,第3号,960--969(2012;Zbl 1256.03035) 全文: 内政部
伊贡博格尔;安东尼奥·西斯特尼诺;文森佐·格瓦西 具有应用程序的环境抽象状态机。 (英语) Zbl 1246.68088号 J.计算。系统。科学。 78,第3期,939-959(2012).MSC公司:第68页第19页 68T05型 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{E.Börger}等人,《计算杂志》。系统。科学。78,第3号,939--959(2012;Zbl 1246.68088) 全文: 内政部
罗德里克·布洛姆;芭芭拉·乔布斯曼;尼尔·皮特曼;阿米尔·普努利;亚尼夫·萨阿尔 反应(1)设计的合成。 (英语) Zbl 1247.68050号 J.计算。系统。科学。 78,第3期,911-938(2012).MSC公司:68号30 03B44号 03B70号 91A80 PDF格式BibTeX公司 XML格式引用 \textit{R.Bloem}等人,《计算杂志》。系统。科学。78,第3号,911--938(2012;Zbl 1247.68050) 全文: 内政部
阿尔伯特·本文尼斯特;蒂莫西·波克;贝诺·凯劳德;马克·普泽特 混合系统建模器的非标准语义。 (英语) Zbl 1244.68050号 J.计算。系统。科学。 78,第3期,877-910(2012).MSC公司:68问题55 68号30 PDF格式BibTeX公司 XML格式引用 \textit{A.Benveniste}等人,《计算杂志》。系统。科学。78,第3号,877--910(2012;Zbl 1244.68050) 全文: 内政部
伊塔·巴拉班;阿米尔·普努利;亚尼夫·萨阿尔;Lenore D.扎克。 验证多链接堆。 (英语) Zbl 1246.68093号 J.计算。系统。科学。 78,编号3,853-876(2012).MSC公司:68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Balaban}等人,J.Compute。系统。科学。78,第3号,853--876(2012;Zbl 1246.68093) 全文: 内政部
Krzysztof R.阿普特。;De Boer,Frank S。;奥尔德罗格(Ernst-Rüdiger Olderog);斯蒂恩·德古乌 面向对象程序的验证:转换方法。 (英语) Zbl 1245.68062号 J.计算。系统。科学。 78,第3期,823-852(2012).MSC公司:68号30 第68页第19页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.R.Apt}等人,《计算杂志》。系统。科学。78,第3号,823--852(2012;Zbl 1245.68062) 全文: 内政部
林天荣 可测多单向量子有限自动机等价性的另一种方法及其应用。 (英语) 兹比尔1252.68177 J.计算。系统。科学。 78,第3期,807-821(2012); 更正同上,81,第7号,1413(2015)。MSC公司:65年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Lin},J.计算。系统。科学。78,第3号,807--821(2012;Zbl 1252.68177) 全文: 内政部 arXiv公司
贝内德克·纳吉;弗里德里希·奥托 在窗口大小为1的无状态确定性R自动机的CD系统上。 (英语) Zbl 1279.68167号 J.计算。系统。科学。 78,第3号,780-806(2012).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Nagy}和\textit{F.Otto},J.Compute。系统。科学。78,第3号,780--806(2012;Zbl 1279.68167) 全文: 内政部
萨米尔·达塔;拉加夫·库尔卡尼;拉古纳特瓦里;维诺德钱德兰,N.V。 有界亏格二部图中完美匹配的空间复杂性。 (英语) Zbl 1253.68168号 J.计算。系统。科学。 78,第3期,765-779(2012).MSC公司:65年第68季度 05年10月 2015年第68季度 05C70号 PDF格式BibTeX公司 XML格式引用 \textit{S.Datta}等人,《计算杂志》。系统。科学。78,第3号,765--779(2012;Zbl 1253.68168) 全文: 内政部
布鲁诺·杜兰德;安德烈·罗马什琴科;亚历山大·沈 定点瓷砖组及其应用。 (英语) Zbl 1244.05049号 J.计算。系统。科学。 78,第3期,731-764(2012).MSC公司:05B45号 37亿B50 68问题30 68卢比 03B80号 PDF格式BibTeX公司 XML格式引用 \textit{B.Durand}等人,《计算杂志》。系统。科学。78,第3号,731--764(2012;Zbl 1244.05049) 全文: 内政部 反向链接: 卫生官员
林国辉;兰迪·戈贝尔;李,钟;王路生 互补最大条带恢复问题的一种改进近似算法。 (英语) Zbl 1244.68087号 J.计算。系统。科学。 78,第3期,720-730(2012).MSC公司:68周25 2017年第68季度 92D10型 PDF格式BibTeX公司 XML格式引用 \textit{G.Lin}等人,J.Compute。系统。科学。78,第3号,720--730(2012;Zbl 1244.68087) 全文: 内政部
研究员Michael R。;费多尔·福明。;丹尼尔·洛克斯塔诺夫;弗朗西斯·罗萨蒙德;萨科特·索拉布;Yngve村 本地搜索:暴力是可以避免的吗? (英语) Zbl 1244.68070号 J.计算。系统。科学。 78,第3期,707-719(2012).MSC公司:68T20型 68兰特 65年第68季度 05C85号 PDF格式BibTeX公司 XML格式引用 \textit{M.R.Fellows}等人,J.Compute。系统。科学。78,第3号,707--719(2012;Zbl 1244.68070) 全文: 内政部
费多尔·福明。;丹尼尔·洛克斯塔诺夫;文卡特斯·拉曼;萨科特·索拉布;拉格汉德拉·拉奥(Raghavendra Rao,B.V.)。 更快的子图查找和计数算法。 (英语) Zbl 1246.05149号 J.计算。系统。科学。 78,第3期,698-706(2012).MSC公司:05C85号 65年第68季度 05C60型 05C30号 05二氧化碳 68兰特 68瓦20 PDF格式BibTeX公司 XML格式引用 \textit{F.V.Fomin}等人,《计算杂志》。系统。科学。78,第3号,698--706(2012;Zbl 1246.05149) 全文: 内政部
蒋明辉 约束LCS的近似性。 (英语) Zbl 1244.68036号 J.计算。系统。科学。 78,第3号,689-697(2012).MSC公司:2017年第68季度 68瓦32 68周25 68瓦20 PDF格式BibTeX公司 XML格式引用 \textit{M.Jiang},J.计算。系统。科学。78,第3号,689--697(2012;Zbl 1244.68036) 全文: 内政部