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

Gidon Ernst

University of Munich

18H指数
93论文数
761被引数
收录论文 1
发表时间
logo
Quick Theory Exploration for Algebraic Data Types via Program Transformations通过程序转换对代数数据类型的快速理论探索
errINTEGRATED FORMAL METHODS, IFM 2025
IF0
err2026-01-01
err0
PREAI
errErnst, Gidon; Fedyukovich, Grigory
err分享
err收藏

研究方向

暂无研究方向
合作学者
合作期刊
G
Grigory Fedyukovich
H 指数: 20 · 论文数: 89
已加载全部