Decidability and Undecidability Results of Modalμ-calculi with N-infinity Semantics
Decidability and Undecidability Results of Modalμ-calculi with N-infinity Semantics
复制标题
具有 N 无穷大语义的模态 μ 演算的可判定性和不可判定性结果
DOI：
--
复制
发表时间：
2010
期刊：
影响因子：
--
通讯作者：
Yoshinori Tanabe
中科院分区：
文献类型：
--
作者：
Alexis Goyet;Masami Hagiya;Yoshinori Tanabe
最小加代数 N∞ 上的模态 μ 演算
DOI：
--
发表时间：
2008
期刊：
PPL2008, JSSST 1
影响因子：
--
作者：
Dai Ikarashi;Yoshinori Tanabe;Koki Nishizawa;Masami Hagiya
通讯作者：
Masami Hagiya
模态 µ 微积分和交替树自动机
DOI：
--
发表时间：
2001
期刊：
Automata, Logics, and Infinite Games
影响因子：
--
作者：
J. Zappe
通讯作者：
J. Zappe