Symmetrizing Syntax: Merge, Minimality, and Equilibria
Symmetrizing Syntax: Merge, Minimality, and Equilibria
复制标题
对称语法：合并、极简和平衡
DOI：
--
复制
发表时间：
2021
期刊：
影响因子：
--
通讯作者：
Hiroki Narita and Naoki Fukui
中科院分区：
文献类型：
--
作者：
田中 智之;茨木 正志郎;松元 洋介;杉浦 克哉;玉田 貴裕;近藤 亮一他;Hiroki Narita and Naoki Fukui
登录
查看更多内容
论看守人员的约束力
DOI：
--
发表时间：
1999
期刊：
Journal of Symbolic Logic (JSL)
影响因子：
--
作者：
E. Grädel
通讯作者：
E. Grädel
Graded-CTL：可满足性和符号模型检查
DOI：
--
发表时间：
2009
期刊：
IEEE International Conference on Formal Engineering Methods
影响因子：
--
作者：
Alessandro Ferrante;M. Napoli;Mimmo Parente
通讯作者：
Mimmo Parente
线性时间和分支时间逻辑的可表达性结果
DOI：
10.1007/bfb0013029
发表时间：
1988
期刊：
--
影响因子：
--
作者：
E. Clarke;Anca Browne
通讯作者：
Anca Browne
具有二进制编码的分级计算树逻辑
DOI：
10.1007/978-3-642-15205-4_13
发表时间：
2010
期刊：
--
影响因子：
--
作者：
A. Bianco;F. Mogavero;A. Murano
通讯作者：
A. Murano
使用时态逻辑和自动机推理 XML
DOI：
10.1016/j.jal.2009.09.005
发表时间：
2008
期刊：
2008 Latin American Web Conference
影响因子：
--
作者：
L. Libkin;Cristina Sirangelo
通讯作者：
Cristina Sirangelo