科言猫
学术研究的AI总结
首页
文献互助
订阅
我的收藏
科研工具
选题分析
论文总结
专利管理
专利缴费
专利查询
未登录
L
Lennard Gäher
H指数:
5
被引数:
113
浏览量:
0
认领学者
订阅学者
个人简介
暂无内容
教育背景
暂无内容
工作经历
暂无内容
荣誉奖项
暂无内容
收录论文
1
收录专利
0
教育教学
科学研究
发表时间最新
发表时间最新
IF最高
被引数最高
Building Blocks for Step-Indexed Program Logics
步索引程序逻辑的构建模块
PROCEEDINGS OF THE 15TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, CPP 2026
IF
0
2026-01-01
0
PRE
研究方向
暂未获取到该数据
合作学者
合作期刊
合作次数
合作次数
H指数
论文数
被引数
T
Thomas Somers
H 指数:
1
论文数:
2
被引数:
2
J
Jonas Kastberg Hinrichsen
H 指数:
6
论文数:
16
被引数:
110
R
Robbert Krebbers
H 指数:
25
论文数:
84
被引数:
2,213
个人简介
教育背景
工作经历
荣誉奖项
未登录.png){kind=icon}
未登录个人简介教育背景工作经历荣誉奖项
研究方向