Anil Nerode

Anil Nerode

Professor of Mathematics, Cornell University
Email yang diverifikasi di twcny.rr.com
Dirujuk 9376 kali
logic hybrid systems model theory computability
Ralph McKenzie

Ralph McKenzie

Professor of Mathematics, Vanderbilt University
Email yang diverifikasi di vanderbilt.edu
Dirujuk 7002 kali
Universal Algebra Logic Computational Complexity Model Theory Group Theory
George Georgescu

George Georgescu

Faculty of Mathematics and Computer Science, Bucharest University
Email yang diverifikasi di unibuc.ro
Dirujuk 4067 kali
universal algebra many-valued logics model theory
Manuel Bodirsky

Manuel Bodirsky

TU Dresden, Institut für Algebra
Email yang diverifikasi di tu-dresden.de
Dirujuk 3899 kali
Model Theory Finite Model Theory Universal Algebra Ramsey Theory Constraint Satisfaction
Denis Osin

Denis Osin

Vanderbilt University
Email yang diverifikasi di vanderbilt.edu
Dirujuk 3614 kali
Group theory geometric topology operator algebras model theory
John T. Baldwin

John T. Baldwin

Professor Mathmematics, University of Illinois at Chicago
Email yang diverifikasi di uic.edu
Dirujuk 3492 kali
model theory mathematics education
Alexandre Borovik

Alexandre Borovik

Email yang diverifikasi di manchester.ac.uk
Dirujuk 3250 kali
group theory model theory combunatorics nonstandard analysis philosophy of mathematics
Carlos Areces

Carlos Areces

Universidad Nacional de Córdoba - CONICET
Email yang diverifikasi di famaf.unc.edu.ar
Dirujuk 3035 kali
Logic Computational Logic Modal Logic Model Theory Automated Reasoning
Ilijas Farah

Ilijas Farah

Professor of Mathematics, York University
Email yang diverifikasi di yorku.ca
Dirujuk 2895 kali
Operator algebras set theory model theory mathematical logic.
Zlil Sela

Zlil Sela

Professor of Mathematics
Email yang diverifikasi di mail.huji.ac.il
Dirujuk 2518 kali
geometric groups theory low dimensional topology model theory
1 - 10