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

Georg Zetzsche

max planck society

14H指数
142论文数
615被引数
收录论文 2
发表时间
logo
General Decidability Results for Systems with Continuous Counters连续计数器系统的通用可判定性结果
errProceedings of the ACM on Programming Languages-PACMPL
IF2.8
err2026-01-01
err0
PREAI
errBalasubramanian, A. R.; Hague, Matthew; Majumdar, Rupak; Thinniyam, Ramanathan S.; Zetzsche, Georg
err分享
err收藏
Bounded Treewidth, Multiple Context-Free Grammars, and Downward Closures有界树宽、多重上下文无关文法和向下闭包
errProceedings of the ACM on Programming Languages-PACMPL
IF2.8
err2026-01-01
err0
PREAI
errAiswarya, C.; Baumann, Pascal; Saivasan, Prakash; Schutze, Lia; Zetzsche, Georg
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
P
Pascal Baumann
H 指数: 12 · 论文数: 47
R
Ramanathan S. Thinniyam
H 指数: 4 · 论文数: 29
L
Lia Schütze
H 指数: 2 · 论文数: 11
R
Rupak Majumdar
H 指数: 2 · 论文数: 7
P
Prakash Saivasan
H 指数: 0 · 论文数: 3
查看更多