Two Variable vs. Linear Temporal Logic in Model Checking and Games
Two Variable vs. Linear Temporal Logic in Model Checking and Games
复制标题
模型检查和博弈中的二变量与线性时态逻辑
DOI：
10.2168/lmcs-9(2:4)2013
复制
发表时间：
2013
影响因子：
0.6
通讯作者：
Benedikt M
中科院分区：
文献类型：
--
作者：
Benedikt M
登录
查看更多内容
用盒子和钻石玩游戏
DOI：
--
发表时间：
2003
期刊：
International Conference on Concurrency Theory
影响因子：
--
作者：
R. Alur;S. L. Torre;P. Madhusudan
通讯作者：
P. Madhusudan
词上 FO2 的结构定理和严格交替层次
DOI：
--
发表时间：
2007
期刊：
Annual Conference for Computer Science Logic
影响因子：
--
作者：
Philipp Weis;N. Immerman
通讯作者：
N. Immerman
重新审视二变量逻辑的验证
DOI：
--
发表时间：
2012
期刊：
2012 Ninth International Conference on Quantitative Evaluation of Systems
影响因子：
--
作者：
Michael Benedikt;R. Lenhardt;J. Worrell
通讯作者：
J. Worrell
有限词上的一阶逻辑的表达性和简洁性
DOI：
--
发表时间：
2011
期刊：
影响因子：
--
作者：
N. Immerman;Philipp Weis
通讯作者：
Philipp Weis
DOI：
10.1007/3-540-44667-2_7
发表时间：
2002-01
期刊：
--
影响因子：
--
作者：
P. Wolper
通讯作者：
P. Wolper