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

Juan P. Aguilera

university of vienna

5H指数
71论文数
134被引数
收录论文 7
发表时间
logo
Reflection properties of ordinals in generic extensions序数在通代扩展中的反射性质
errANNALS OF PURE AND APPLIED LOGIC
IF0.6
err2026-04-01
err0
PREAI
errAguilera, Juan P.; Switzer, Corey Bacal
err分享
err收藏
Intuitionistic Gödel-Löb without Sharps直觉主义哥德尔-洛布无尖号
errACM TRANSACTIONS ON COMPUTATIONAL LOGIC
IF0
err2025-10-01
err0
PREAI
errAguilera, Juan P.; Pacheco., Leonardo
err分享
err收藏
The metamathematics of separated determinacy分离决定性的元数学
errINVENTIONES MATHEMATICAE
IF3.6
err2025-02-11
err0
errOAAI
errAguilera, J. P.
err分享
err收藏
Gödel-Dummett linear temporal logic
errartificial intelligence review
IF4.6
err2025-01-01
err0
PREAI
errAguilera, Juan Pablo; Dieguez, Martin; Fernandez-Duque, David; McLean, Brett
err分享
err收藏
The spectrum of ?31-soundness
errPHILOSOPHICAL TRANSACTIONS OF THE ROYAL SOCIETY A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES
IF3.7
err2023-04-10
err1
PREAI
errAguilera, J. P.; Pakhomov, F.
err分享
err收藏
Modern perspectives in Proof Theory
errPHILOSOPHICAL TRANSACTIONS OF THE ROYAL SOCIETY A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES
IF3.7
err2023-04-10
err0
errOAAI
errAguilera, J. P.; Pakhomov, F.; Weiermann, A.
err分享
err收藏
Ten problems in Godel logic
errSOFT COMPUTING
IF2.5
err2016-09-28
err5
errOAAI
errAguilera, Juan P.; Baaz, Matthias
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
M
Matthias Baaz
H 指数: 29 · 论文数: 194
A
Andreas Weiermann
H 指数: 17 · 论文数: 151
D
David Fernández–Duque
H 指数: 13 · 论文数: 167
M
Martín Diéguez
H 指数: 9 · 论文数: 82
F
Fedor Pakhomov
H 指数: 5 · 论文数: 65
查看更多