Erich Grädel 人物
相关论文查看全部 (5)
The Classical Decision Problem
1997引用 825
On the Restraining Power of Guards
1999Journal of Symbolic Logic引用 362
On the Decision Problem for Two-Variable First-Order Logic
1997Bulletin of Symbolic Logic引用 324
Automatic structures
2002引用 292
相关公司查看全部 (1)
RWTH Aachen UniversityUNIVERSITY
相关事件
暂无数据
相关专利
暂无数据
相关文章
暂无数据