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

Florian Rabe

university of erlangen nuremberg

17H指数
124论文数
1.0K被引数
收录论文 6
发表时间
logo
Lightweight Realms轻量级领域
errINTELLIGENT COMPUTER MATHEMATICS, CICM 2025
IF0
err2026-01-01
err0
PREAI
errKohlhase, Michael; Rabe, Florian; Schuetz, Marcel
err分享
err收藏
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收藏
Global, Regional, and Local Contexts全球、区域和局部上下文
errINTELLIGENT COMPUTER MATHEMATICS, CICM 2025
IF0
err2026-01-01
err0
PREAI
errRabe, Florian
err分享
err收藏
The Dependently Typed Higher-Order Form for the TPTP World依赖类型的高阶形式用于TPTP世界
errFRONTIERS OF COMBINING SYSTEMS, FROCOS 2025
IF0
err2026-01-01
err0
errOAAI
errRanalter, Daniel; Kaliszyk, Cezary; Rabe, Florian; Sutcliffe, Geoff
err分享
err收藏
Model pathway diagrams for the representation of mathematical models
errOPTICAL AND QUANTUM ELECTRONICS
IF4
err2018-01-23
err5
PREAI
errKoprucki, Thomas; Kohlhase, Michael; Tabelow, Karsten; Mueller, Dennis; Rabe, Florian
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
G
Geoff Sutcliffe
H 指数: 30 · 论文数: 198
M
Michael Kohlhase
H 指数: 29 · 论文数: 347
C
Christoph Benzmüller
H 指数: 26 · 论文数: 331
C
Cezary Kaliszyk
H 指数: 24 · 论文数: 178
T
Thomas Koprucki
H 指数: 19 · 论文数: 147
查看更多