Профили

Neil Immerman

College of Computer and Information Sciences, UMass, Amherst

Подтвержден адрес электронной почты в домене cs.umass.edu

Цитируется: 14628

logic in computer science descriptive complexity

Erich Grädel

RWTH Aachen University

Подтвержден адрес электронной почты в домене logic.rwth-aachen.de

Цитируется: 11641

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

Anuj Dawar

University of Cambridge

Подтвержден адрес электронной почты в домене cl.cam.ac.uk

Цитируется: 3473

Logic Complexity Theory Finite Model Theory Descriptive Complexity

James Rogers

Professor of Computer Science, Earlham College

Подтвержден адрес электронной почты в домене cs.earlham.edu

Цитируется: 1824

Computational Linguistics Model Theoretic Syntax Formal Language Theory Descriptive Complexity

Maksim Zhukovskii

The University of Sheffield

Подтвержден адрес электронной почты в домене sheffield.ac.uk

Цитируется: 806

Graph theory random graphs first order logic descriptive complexity extremal combinatorics

Argimiro Arratia Quesada

Universitat Politécnica de Catalunya, Spain

Подтвержден адрес электронной почты в домене upc.edu

Цитируется: 752

computational finance algorithms finite model theory descriptive complexity

Jonni Virtema

Lecturer, University of Sheffield, UK

Подтвержден адрес электронной почты в домене sheffield.ac.uk

Цитируется: 737

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

Eryk Kopczyński

assistant professor, University of Warsaw

Подтвержден адрес электронной почты в домене mimuw.edu.pl

Цитируется: 540

automata theory descriptive complexity finite model theory

Craig DeLancey

Oswego

Подтвержден адрес электронной почты в домене oswego.edu

Цитируется: 485

teleology descriptive complexity existentialism metaphysics

Flavio Ferrarotti

Software Competence Center Hagenberg GmbH

Подтвержден адрес электронной почты в домене scch.at

Цитируется: 445

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

1 - 10