Vasco Brattka

Vasco Brattka

Professor for Theoretical Computer Science and Mathematical Logic, Universität der …
在 unibw.de 的电子邮件经过验证
被引用次数：3371
Computable analysis mathematical logic computability descriptive set theory algorithmic randomness
Pieter Collins

Pieter Collins

Department of Data Science and Knowledge Engineering, Maastricht University
在 maastrichtuniversity.nl 的电子邮件经过验证
被引用次数：2100
Verification of dynamic systems Computable analysis Systems Biology
Daniel S. Graça

Daniel S. Graça

Universidade do Algarve
在 ualg.pt 的电子邮件经过验证
被引用次数：1119
Computability Complexity Dynamical Systems Computable Analysis
Damir Dzhafarov

Damir Dzhafarov

Department of Mathematics, University of Connecticut
在 math.uconn.edu 的电子邮件经过验证
被引用次数：764
Mathematical logic Computability theory Reverse mathematics Computable analysis Ramsey theory
Kenshi Miyabe

Kenshi Miyabe

Meiji University
在 kenshi.miyabe.name 的电子邮件经过验证
被引用次数：266
Algorithmic Randomness Computable Analysis
Svetlana Selivanova

Svetlana Selivanova

KAIST, Sobolev Institute of Mathematics
在 kaist.ac.kr 的电子邮件经过验证
被引用次数：169
sub-Riemannian geometry geometric control theory computable analysis
Ivan Georgiev

Ivan Georgiev

Associate Professor, Sofia University "St. Kliment Ohridski"
在 fmi.uni-sofia.bg 的电子邮件经过验证
被引用次数：96
Theoretical computer science Computable Analysis
Satyadev Nandakumar

Satyadev Nandakumar

Indian Institute of Technology, Kanpur
在 cse.iitk.ac.in 的电子邮件经过验证
被引用次数：85
Algorithmic Information Theory Computable Analysis Dynamical Systems Normal Numbers Information
Nazanin Roshandel Tavana

Nazanin Roshandel Tavana

Assistant professor, Amirkabir University of Technology
在 aut.ac.ir 的电子邮件经过验证
被引用次数：71
Model theory fuzzy set theory computable analysis computability theory
Manlio Valenti

Manlio Valenti

Swansea University
在 swansea.ac.uk 的电子邮件经过验证
被引用次数：65
computabilty theory computable analysis
1 - 10