Jonathan Finger
论文数
1
总引用数
129
H-Index
1
关于
暂无简介。
研究焦点
Artificial intelligence1 · 129 次引用
Combinatory logic1 · 129 次引用
Completeness (order theory)1 · 129 次引用
Computer science1 · 129 次引用
Consistency (knowledge bases)1 · 129 次引用
High-level synthesis1 · 129 次引用
Mathematics1 · 129 次引用
Programming language1 · 129 次引用
Soundness1 · 129 次引用
Theoretical computer science1 · 129 次引用
主要成就
1
H 指数
1
论文
129
总引用数
129
篇均引用
🏆 最高被引论文
Exploiting constraints in design synthesis
129 次引用 · 1987
📈 最高产年份: 1987 (1 论文)
🤝 主要合作者: 0
代表论文
- 1Exploiting constraints in design synthesis129 次引用 · 1987
尚未生成