Line Juhl

Line Juhl

Department of Computer Science, Aalborg University
被引用次数：292
Model checking computability and complexity automata theory quantitative models
Norihiro Yamada

Norihiro Yamada

Centre for Mathematics, University of Coimbra
在 mat.uc.pt 的电子邮件经过验证
被引用次数：27
mathematical logic category theory geometry and topology computability and complexity
Riccardo Gozzi

Riccardo Gozzi

Postdoctoral researcher, Université Paris-Est Créteil (UPEC)
被引用次数：23
Dynamical systems computability and complexity ODEs analog computation computable analysis