Cut-free Gentzen calculus for multimodal CK
Cut-free Gentzen calculus for multimodal CK
复制标题
多模态 CK 的免割 Gentzen 演算
DOI：
--
复制
发表时间：
2011
影响因子：
1
通讯作者：
Stephan Scheele
中科院分区：
文献类型：
--
作者：
M. Mendler;Stephan Scheele
