科言猫
学术研究的AI总结
首页
文献互助
订阅
我的收藏
科研工具
选题分析
论文总结
专利管理
未登录
返回
A
Artur Jeż
Royal Holloway University London
19
H指数
103
论文数
1.1K
被引数
0
相关解读
订阅
收录论文
1
发表时间
发表时间
IF
被引数
The Power of Regular Constraint Propagation
规则的约束传播之力
PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL
IF
2.8
2025-10-01
0
PRE
AI
Hague, Matthew; Jez, Artur; Lin, Anthony Widjaja; Markgraf, Oliver; Rummer, Philipp
分享
收藏
研究方向
暂时未获取到该数据
合作学者
合作期刊
P
Philipp Rümmer
H 指数: 28 · 论文数: 177
M
Matthew Hague
H 指数: 16 · 论文数: 77
A
Anthony W. Lin
H 指数: 14 · 论文数: 104
O
Oliver Markgraf
H 指数: 1 · 论文数: 10
已加载全部