Algebraic characterizations of variable separation properties
Algebraic characterizations of variable separation properties
复制标题
变量分离特性的代数表征
DOI：
--
复制
发表时间：
2008
期刊：
影响因子：
--
通讯作者：
H.Kihara and H.Ono
中科院分区：
文献类型：
--
作者：
Yoshihiro;Mochimaru;Yoshihiro Mochimaru;関 隆宏;T. Seki;H.Kihara and H.Ono
登录
查看更多内容
超直觉逻辑和模态逻辑的代数、语义和逻辑属性的相互关系
DOI：
10.4064/-46-1-159-168
发表时间：
1999
期刊：
Banach Center Publications
影响因子：
--
作者：
L. Maksimova
通讯作者：
L. Maksimova
有限 PCFG 的否定消除（书籍章节）
DOI：
--
发表时间：
2005
期刊：
Logic-based Program Synthesis and Transformation, Springer LNCS 3573
影响因子：
--
作者：
Sato;T.;Kameya;Y
通讯作者：
Y
FL 子结构逻辑的代数化、参数化局部演绎定理和插值
DOI：
--
发表时间：
2006
期刊：
Studia Logica 83
影响因子：
--
作者：
N.Galatos;H.Ono
通讯作者：
H.Ono
关于 Hallden 不完备性的注释
DOI：
10.1305/ndjfl/1093958745
发表时间：
1966
期刊：
Notre Dame J. Formal Log.
影响因子：
--
作者：
E. Lemmon
通讯作者：
E. Lemmon
影响因子：
0.5
作者：
L. Maksimova
通讯作者：
L. Maksimova