Neil Immerman

Neil Immerman

College of Computer and Information Sciences, UMass, Amherst
Verified email at cs.umass.edu
Cited by 14016
logic in computer science descriptive complexity
Erich Grädel

Erich Grädel

RWTH Aachen University
Verified email at logic.rwth-aachen.de
Cited by 11442
Mathematical Logic Logic and Algorithms Algorithmic Model Theory Theory of Infinite Games Descriptive Complexity
Anuj Dawar

Anuj Dawar

University of Cambridge
Verified email at cl.cam.ac.uk
Cited by 3281
Logic Complexity Theory Finite Model Theory Descriptive Complexity
James Rogers

James Rogers

Professor of Computer Science, Earlham College
Verified email at cs.earlham.edu
Cited by 1750
Computational Linguistics Model Theoretic Syntax Formal Language Theory Descriptive Complexity
Maksim Zhukovskii

Maksim Zhukovskii

The University of Sheffield
Verified email at sheffield.ac.uk
Cited by 714
Graph theory random graphs first order logic descriptive complexity extremal combinatorics
Argimiro Arratia Quesada

Argimiro Arratia Quesada

Universitat Politécnica de Catalunya, Spain
Verified email at upc.edu
Cited by 694
computational finance algorithms finite model theory descriptive complexity
Jonni Virtema

Jonni Virtema

Lecturer, University of Sheffield, UK
Verified email at sheffield.ac.uk
Cited by 666
Finite Model Theory Logic in Computer Science Modal Logic Descriptive Complexity
Eryk Kopczyński

Eryk Kopczyński

assistant professor, University of Warsaw
Verified email at mimuw.edu.pl
Cited by 516
automata theory descriptive complexity finite model theory
Craig DeLancey

Craig DeLancey

Oswego
Verified email at oswego.edu
Cited by 472
teleology descriptive complexity existentialism method of ethics
Flavio Ferrarotti

Flavio Ferrarotti

Software Competence Center Hagenberg GmbH
Verified email at scch.at
Cited by 427
finite model theory descriptive complexity formal models database theory behavioural theory of algorithms
1 - 10