Forejt,Vojtěch公司;玛尔塔·奎亚特科夫斯卡;格钦·诺曼;阿舒托什·特里维迪 预期可达性-时间游戏。 (英语) Zbl 1339.68146号 西奥。计算。科学。 631, 139-160 (2016).MSC公司:65年第68季度 2010年第68季度 65年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{V.Forejt}等人,Theor。计算。科学。63113-160(2016年;Zbl 1339.68146) 全文: 内政部 arXiv公司
劳拉·博泽利;塞萨尔·桑切斯 布尔流运行时验证的基础。 (英语) Zbl 1339.68165号 西奥。计算。科学。 631, 118-138 (2016).MSC公司:60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}和\textit{C.Sánchez},Theor。计算。科学。631、118--138(2016年;Zbl 1339.68165) 全文: 内政部
托马斯·卡尔 高维自动机的拓扑抽象。 (英语) Zbl 1339.68188号 西奥。计算。科学。 631, 97-117 (2016).MSC公司:68问题85 70年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{T.Kahl},Theor。计算。科学。631,97-117(2016年;兹bl 1339.68188) 全文: 内政部 arXiv公司
费萨尔·阿梅恩,马哈茂杜尔;Makoto Tatsuta 分离逻辑中递归过程的完整性。 (英语) Zbl 1339.68044号 西奥。计算。科学。 631, 73-96 (2016).MSC公司:68号30 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.费萨尔·阿梅恩}和\textit{M.Tatsuta},提奥。计算。科学。631、73--96(2016年;Zbl 1339.68044) 全文: 内政部
皮埃特罗·费拉拉 面向对象编程语言堆和值分析的通用框架。 (英语) Zbl 1343.68040号 西奥。计算。科学。 631, 43-72 (2016). 审核人:米雷尔·科斯基(克雷奥瓦) MSC公司:68甲15 68甲19 68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{P.Ferrara},Theor。计算。科学。631、43-72(2016年;Zbl 1343.68040) 全文: 内政部
弗兰克·卡塞兹;罗恩·范德梅登;张晨毅 信息流安全同步概念的复杂性。 (英语) Zbl 1339.68111号 西奥。计算。科学。 631, 16-42 (2016).MSC公司:65年第68季度 64岁以下 68第25页 PDF格式BibTeX公司 XML格式引用 \textit{F.Cassez}等人,Theor。计算。科学。631、16-42(2016年;Zbl 1339.68111) 全文: 内政部 arXiv公司
Zuzana Haniková;彼得·萨维克 \(\mathrm中的术语可满足性{FL}(佛罗里达州)_{\mathrm{ew}}\)-代数。 (英语) Zbl 1418.03193号 西奥。计算。科学。 631, 1-15 (2016).MSC公司:03G25号 03B47号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Z.Haniková}和\textit{P.Savick},Theor。计算。科学。631,1-15(2016年;兹bl 1418.03193) 全文: 内政部 arXiv公司