Neil Immerman

Neil Immerman

College of Computer and Information Sciences, UMass, Amherst
在 cs.umass.edu 的电子邮件经过验证
被引用次数：14135
logic in computer science descriptive complexity
Erich Grädel

Erich Grädel

RWTH Aachen University
在 logic.rwth-aachen.de 的电子邮件经过验证
被引用次数：11509
Mathematical Logic Logic and Algorithms Algorithmic Model Theory Theory of Infinite Games Descriptive Complexity
Anuj Dawar

Anuj Dawar

University of Cambridge
在 cl.cam.ac.uk 的电子邮件经过验证
被引用次数：3310
Logic Complexity Theory Finite Model Theory Descriptive Complexity
James Rogers

James Rogers

Professor of Computer Science, Earlham College
在 cs.earlham.edu 的电子邮件经过验证
被引用次数：1760
Computational Linguistics Model Theoretic Syntax Formal Language Theory Descriptive Complexity
Maksim Zhukovskii

Maksim Zhukovskii

The University of Sheffield
在 sheffield.ac.uk 的电子邮件经过验证
被引用次数：729
Graph theory random graphs first order logic descriptive complexity extremal combinatorics
Argimiro Arratia Quesada

Argimiro Arratia Quesada

Universitat Politécnica de Catalunya, Spain
在 upc.edu 的电子邮件经过验证
被引用次数：710
computational finance algorithms finite model theory descriptive complexity
Jonni Virtema

Jonni Virtema

Lecturer, University of Sheffield, UK
在 sheffield.ac.uk 的电子邮件经过验证
被引用次数：679
Finite Model Theory Logic in Computer Science Modal Logic Descriptive Complexity
Eryk Kopczyński

Eryk Kopczyński

assistant professor, University of Warsaw
在 mimuw.edu.pl 的电子邮件经过验证
被引用次数：525
automata theory descriptive complexity finite model theory
Craig DeLancey

Craig DeLancey

Oswego
在 oswego.edu 的电子邮件经过验证
被引用次数：477
teleology descriptive complexity existentialism method of ethics
Flavio Ferrarotti

Flavio Ferrarotti

Software Competence Center Hagenberg GmbH
在 scch.at 的电子邮件经过验证
被引用次数：436
finite model theory descriptive complexity formal models database theory behavioural theory of algorithms
1 - 10