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

Théo Winterhalter

Nantes Université

8H指数
25论文数
270被引数
收录论文 3
发表时间
logo
The Rewster: Type Preserving Rewrite Rules for the Rocq ProverRewster：类型保留重写规则用于Rocq证明器
errJournal of Automated Reasoning
IF0.8
err2026-04-11
err0
PREAI
errLeray, Yann; Gilbert, Gaetan; Tabareau, Nicolas; Winterhalter, Theo
err分享
err收藏
Bounded Sort Polymorphism with Elimination Constraints带消除约束的有界排序多态
errProceedings of the ACM on Programming Languages-PACMPL
IF2.8
err2026-01-01
err0
PREAI
errRosain, Johann; Diaz, Tomas; Maillard, Kenji; Sozeau, Matthieu; Tabareau, Nicolas; Tanter, Eric; Winterhalter, Theo
err分享
err收藏
Randomized Mixed-Radix Scalar Multiplication
errIEEE TRANSACTIONS ON COMPUTERS
IF3.8
err2018-03-01
err6
errOAAI
errGuerrini, Eleonora; Imbert, Laurent; Winterhalter, Theo
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
É
Éric Tanter
H 指数: 30 · 论文数: 240
N
Nicolas Tabareau
H 指数: 21 · 论文数: 127
L
Laurent Imbert
H 指数: 19 · 论文数: 86
M
Matthieu Sozeau
H 指数: 17 · 论文数: 60
K
Kenji Maillard
H 指数: 9 · 论文数: 41
查看更多