logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回
C

Colin Rothgang

imdea software institute

3H指数
6论文数
27被引数
收录论文 2
发表时间
logo
Subtyping in Dependently-Typed Higher-Order Logic依赖类型高阶逻辑中的子类型
errFRONTIERS OF COMBINING SYSTEMS, FROCOS 2025
IF0
err2026-01-01
err0
errOAAI
errRothgang, Colin; Rabe, Florian
err分享
err收藏
Dependently Typed Higher-Order Logic依赖类型的高阶逻辑
errACM Transactions on Computational Logic
IF0
err2026-01-01
err0
PREAI
errRothgang, Colin; Rabe, Florian; Benzmuller, Christoph
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
C
Christoph Benzmüller
H 指数: 26 · 论文数: 331
F
Florian Rabe
H 指数: 17 · 论文数: 124
已加载全部