Expressivity of coalgebraic modal logic: The limits and beyond
Expressivity of coalgebraic modal logic: The limits and beyond
复制标题
余代数模态逻辑的表达能力：极限与超越
DOI：
--
复制
发表时间：
2008
影响因子：
1.1
通讯作者：
Lutz Schröder
中科院分区：
文献类型：
--
作者：
Lutz Schröder
CoCasl 中的代数-代数规范
DOI：
10.1016/j.jlap.2005.09.006
发表时间：
2003
期刊：
J. Log. Algebraic Methods Program.
影响因子：
--
作者：
Till Mossakowski;Horst Reichel;Markus Roggenbach;Lutz Schröder
通讯作者：
Lutz Schröder
DOI：
10.1007/3-540-45931-6
发表时间：
2002-04
期刊：
--
影响因子：
--
作者：
M. Nielsen;Uffe Engberg
通讯作者：
M. Nielsen;Uffe Engberg