Algebraic aspects of cut elimination
Algebraic aspects of cut elimination
复制标题
割消除的代数方面
DOI：
--
复制
发表时间：
2004
期刊：
影响因子：
--
通讯作者：
H.Ono
中科院分区：
文献类型：
--
作者：
F.Belardinelli;P.Jipsen;H.Ono
登录
查看更多内容
影响因子：
0.7
作者：
S. Maehara
通讯作者：
S. Maehara
没有结构规则的谓词逻辑
影响因子：
0.7
作者：
Yuichi Komori
通讯作者：
Yuichi Komori
影响因子：
0.7
作者：
H. Ono
通讯作者：
H. Ono
可判定性和有限模型属性
影响因子：
1.5
作者：
A. Urquhart
通讯作者：
A. Urquhart
简单类型理论的句法和语义特性
影响因子：
0.6
作者：
Kurt Schütte
通讯作者：
Kurt Schütte