德怀洞;曲靖、龙江;傅少景;李超 具有良好密码学性质的向量布尔函数的新构造。 （英语） Zbl 1245.94071号 发现的国际期刊。计算。科学。 23，第3号，749-760（2012）。MSC公司：94A60型 PDF格式BibTeX公司 XML格式引用 \textit{D.Dong}等人，国际法学研究所。计算。科学。23，第3号，749--760（2012；Zbl 1245.94071） 全文： 内政部
魏岳川;李超;曹丹 改进了对完整HAS-160加密模式的相关密钥矩形攻击。 （英语） Zbl 1247.68079号 发现的国际期刊。计算。科学。 23，第3期，733-747（2012）。MSC公司：94A60型 68第25页 PDF格式BibTeX公司 XML格式引用 \textit{Y.Wei}等人，国际期刊发现。计算。科学。23，第3号，733--747（2012；Zbl 1247.68079） 全文： 内政部
海宁·博迪恩;马丁·库特里布;安德烈亚斯·马尔彻 并行通信有限自动机的计算能力。 （英语） Zbl 1279.68133号 发现的国际期刊。计算。科学。 23，编号3713-732（2012）。MSC公司：65年第68季度 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Bordihn}等人，国际期刊发现。计算。科学。23，第3号，713--732（2012；Zbl 1279.68133） 全文： 内政部
雨果·金贝尔;齐埃隆卡（Zielonka，Wiesław） 优先平手游戏中的Blackwell最优策略。 （英语） Zbl 1246.91013号 发现的国际期刊。计算。科学。 23，第3期，687-711（2012）。MSC公司：91A15型 PDF格式BibTeX公司 XML格式引用 \textit｛H.Gimbert｝和\textit｛W.Zielonka｝，国际发现杂志。计算。科学。23，第3号，687--711（2012；Zbl 1246.91013） 全文： 内政部
奥利弗·弗里德曼;马丁·兰格 求解奇偶博弈的两个局部策略迭代方案。 （英语） Zbl 1246.91025号 发现的国际期刊。计算。科学。 23，第3期，669-685（2012）。MSC公司：91A43型 91A05型 60年第68季度 03B80型 PDF格式BibTeX公司 XML格式引用 \textit{O.Friedmann}和\textit{M.Lange}，国际期刊发现。计算。科学。23，第3号，669--685（2012；Zbl 1246.91025） 全文： 内政部
约翰·费恩利;马丁·齐默尔曼 匆忙地玩穆勒游戏。 （英语） Zbl 1246.91018号 发现的国际期刊。计算。科学。 23，第3期，649-668（2012）。MSC公司：91A24型 91A43型 91A05型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Fearnley}和\textit{M.Zimmermann}，国际法学研究所。计算。科学。23，第3号，649--668（2012；Zbl 1246.91018） 全文： 内政部
乔瓦娜·达戈斯蒂诺;贾科莫·伦齐 关于具有小分支或小树宽的有限图上的模态演算。 （英语） Zbl 1245.03025号 发现的国际期刊。计算。科学。 第3期第23页，第627-647页（2012年）。MSC公司：03B45号 PDF格式BibTeX公司 XML格式引用 \textit{G.D'Agostino}和\textit{G.Lenzi}，国际期刊发现。计算。科学。23，第3号，627--647（2012；Zbl 1245.03025） 全文： 内政部
克里希南德·查特吉;鲁帕克·马朱姆达尔 跨时间尺度的游戏折扣和平均。 （英语） Zbl 1253.91032号 发现的国际期刊。计算。科学。 23，第3期，609-625（2012）。 审核人：贾科莫·博纳诺（戴维斯） MSC公司：91A43型 91A05型 91A24型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}和\textit{R.Majumdar}，国际法学研究所。计算。科学。23，编号3609-625（2012年；兹bl 1253.91032） 全文： 内政部
卢波什·布里姆;查洛普卡，雅库布 利用战略改进来保持活力。 （英语） Zbl 1246.91024号 发现的国际期刊。计算。科学。 23，第3号，585-608（2012）。MSC公司：91A43型 91A05型 91A24型 PDF格式BibTeX公司 XML格式引用 \textit{L.Brim}和\textit{J.Chaloupka}，Int.J.Found。计算。科学。23，第3号，585--608（2012；Zbl 1246.91024） 全文： 内政部
大卫·布雷索林;皮埃特罗·萨拉;圭多·西亚维科 开始、相遇和之前。 （英语） Zbl 1259.03028号 发现的国际期刊。计算。科学。 23，第3期，559-583（2012）。MSC公司：03B44号 03B25号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Bresolin}等人，国际期刊发现。计算。科学。23，第3号，559--583（2012；Zbl 1259.03028） 全文： 内政部
安吉洛·蒙塔纳里（编辑）;马格丽塔·那不勒斯（编辑）;帕伦特，米姆（编辑） 特刊：游戏、自动化、逻辑和形式验证（GandALF 2010）。根据2010年6月17日至18日在意大利米诺里举行的第一届研讨会上的陈述，选出了一些论文。 （英语） Zbl 1250.68042号 发现的国际期刊。计算。科学。23，第3期，555-711（2012）。 MSC公司：68-06 91-06 2006年3月 00B25型 60年第68季度 65年第68季度 91A05型 91A43型 91A24型 91A15型 03B80型 03B44号 03B45号 05年3月 PDF格式BibTeX公司 XML格式