Profiilit

Neil Immerman

College of Computer and Information Sciences, UMass, Amherst

Vahvistettu sähköpostiosoite verkkotunnuksessa cs.umass.edu

Viittausten määrä 14584

logic in computer science descriptive complexity

Erich Grädel

RWTH Aachen University

Vahvistettu sähköpostiosoite verkkotunnuksessa logic.rwth-aachen.de

Viittausten määrä 11621

Mathematical Logic Logic and Algorithms Algorithmic Model Theory Theory of Infinite Games Descriptive Complexity

Anuj Dawar

University of Cambridge

Vahvistettu sähköpostiosoite verkkotunnuksessa cl.cam.ac.uk

Viittausten määrä 3470

Logic Complexity Theory Finite Model Theory Descriptive Complexity

James Rogers

Professor of Computer Science, Earlham College

Vahvistettu sähköpostiosoite verkkotunnuksessa cs.earlham.edu

Viittausten määrä 1820

Computational Linguistics Model Theoretic Syntax Formal Language Theory Descriptive Complexity

Maksim Zhukovskii

The University of Sheffield

Vahvistettu sähköpostiosoite verkkotunnuksessa sheffield.ac.uk

Viittausten määrä 801

Graph theory random graphs first order logic descriptive complexity extremal combinatorics

Argimiro Arratia Quesada

Universitat Politécnica de Catalunya, Spain

Vahvistettu sähköpostiosoite verkkotunnuksessa upc.edu

Viittausten määrä 748

computational finance algorithms finite model theory descriptive complexity

Jonni Virtema

Lecturer, University of Sheffield, UK

Vahvistettu sähköpostiosoite verkkotunnuksessa sheffield.ac.uk

Viittausten määrä 734

Finite Model Theory Logic in Computer Science Modal Logic Temporal Logic Descriptive Complexity

Eryk Kopczyński

assistant professor, University of Warsaw

Vahvistettu sähköpostiosoite verkkotunnuksessa mimuw.edu.pl

Viittausten määrä 540

automata theory descriptive complexity finite model theory

Craig DeLancey

Oswego

Vahvistettu sähköpostiosoite verkkotunnuksessa oswego.edu

Viittausten määrä 485

teleology descriptive complexity existentialism metaphysics

Flavio Ferrarotti

Software Competence Center Hagenberg GmbH

Vahvistettu sähköpostiosoite verkkotunnuksessa scch.at

Viittausten määrä 445

finite model theory descriptive complexity formal models database theory behavioural theory of algorithms

1 - 10