阿列克桑达尔·迪莫夫斯基。 使用符号游戏语义进行程序验证。 (英语) Zbl 1303.68083号 西奥。计算。科学。 560,第3部分,364-379(2014).MSC公司:60年第68季度 68号30 65年第68季度 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{A.S.迪莫夫斯基},Theor。计算。科学。560,第3部分,364--379(2014;Zbl 1303.68083) 全文: 内政部
乔恩,帕沃;马丁·奇梅利克;托马斯·亨辛格(Thomas A.Henzinger)。;阿琼·拉德哈克利什纳 接口模拟距离。 (英语) Zbl 1303.68076号 西奥。计算。科学。 560,第3部分,348-363(2014).MSC公司:65年第68季度 91A43型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{P.Černý}等人,Theor。计算。科学。560,第3部分,348-363(2014年;兹bl 1303.68076) 全文: 内政部 arXiv公司
马丁·兰格;艾蒂安·洛兹;曼纽尔·瓦尔加斯·古兹曼 模型检查过程等效性。 (英语) Zbl 1303.68085号 西奥。计算。科学。 560,第3部分,326-347(2014).MSC公司:60年第68季度 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Lange}等人,Theor。计算。科学。560,第3部分,326--347(2014;Zbl 1303.68085) 全文: 内政部 arXiv公司 哈尔
坎通纳,多梅尼科;克里斯蒂亚诺·隆戈 具有有序对和一些不可判定扩展的可判定二分类量化集合论片段。 (英语) Zbl 1329.03045号 西奥。计算。科学。 560,第3部分,307-325(2014). 审核人:J.M.Plotkin(东兰辛) MSC公司:03B25号 03E30年 PDF格式BibTeX公司 XML格式引用 \textit{D.Cantone}和\textit{C.Longo},Theor。计算。科学。560,第3部分,307--325(2014;Zbl 1329.03045) 全文: 内政部
朱利安·古铁雷斯;费利克斯·克莱特克;马丁·兰格 演算交替层次结构在连接受限的结构上崩溃。 (英语) Zbl 1327.03016号 西奥。计算。科学。 560,第3部分,292-306(2014). 审核人:贾科莫·伦齐(费西亚诺) MSC公司:03B45 05年3月 05C90年 05C20号 PDF格式BibTeX公司 XML格式引用 \textit{J.Gutierrez}等人,Theor。计算。科学。560,第3部分,292--306(2014;Zbl 1327.03016) 全文: 内政部
大卫·布雷索林;黛拉·莫妮卡,达里奥;安吉洛·蒙塔纳里;皮埃特罗·萨拉;圭多·西亚维科 强离散线性序上的区间时序逻辑:表达性和复杂性。 (英语) 兹比尔1335.03017 西奥。计算。科学。 560,第3部分,269-291(2014).MSC公司:03B44号 PDF格式BibTeX公司 XML格式引用 \textit{D.Bresolin}等人,Theor。计算。科学。560,第3部分,269--291(2014;Zbl 1335.03017) 全文: 内政部
亚历山德罗·索利曼多;乔治·德尔赞诺;乔瓦纳游击队 通过套期保值自动机转换验证XML文档的适应性。 (英语) Zbl 1303.68042号 西奥。计算。科学。 560,第3部分,251-268(2014).MSC公司:68第05页 第68季度第42季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Solimando}等人,Theor。计算。科学。560,第3部分,251--268(2014;Zbl 1303.68042) 全文: 内政部
费利克斯·卡纳沃伊;埃里希·格拉德尔;罗马人拉比诺维奇 奇偶对策的离散策略改进算法和有向图的复杂性度量。 (英语) Zbl 1303.68066号 西奥。计算。科学。 560,第3部分,235-250(2014).MSC公司:65年第68季度 05第57页 05C20号 PDF格式BibTeX公司 XML格式引用 \textit{F.Canavoi}等人,Theor。计算。科学。560,第3部分,235--250(2014;Zbl 1303.68066) 全文: 内政部 arXiv公司
丹尼尔·奈德;罗马人拉比诺维奇;马丁·齐默尔曼 沿着Borel层级:通过安全游戏解决Muller游戏。 (英语) Zbl 1314.91053号 西奥。计算。科学。 560,第3部分,219-234(2014).MSC公司:91A43型 91A05型 60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Neider}等人,Theor。计算。科学。560,第3部分,219--234(2014;Zbl 1314.91053) 全文: 内政部 arXiv公司
马可·费拉(编辑);穆拉诺,阿尼洛(编辑) 《甘道夫2012》特刊前言。 (英语) Zbl 1305.00138号 西奥。计算。科学。 560,第3部分,217-218(2014).MSC公司:00B25型 03-06 68-06 91-06 65年第68季度 60年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{M.Faella}(编辑)和\textit{A.Murano}(主编),Theor。计算。科学。560,第3部分,217--218(2014;Zbl 1305.00138) 全文: 内政部