Profielen

Profielen

Mijn profiel Mijn bibliotheek

Ronald Fagin

IBM Almaden Research Center

Geverifieerd e-mailadres voor us.ibm.com

Geciteerd door 41356

applications of logic to computer science database theory finite model theory rank and score aggregation

Manuel Bodirsky

TU Dresden, Institut für Algebra

Geverifieerd e-mailadres voor tu-dresden.de

Geciteerd door 3724

Model Theory Finite Model Theory Universal Algebra Ramsey Theory Constraint Satisfaction

Anuj Dawar

University of Cambridge

Geverifieerd e-mailadres voor cl.cam.ac.uk

Geciteerd door 3376

Logic Complexity Theory Finite Model Theory Descriptive Complexity

Lauri Hella

Matematiikan professori, Tampereen yliopisto

Geverifieerd e-mailadres voor uta.fi

Geciteerd door 1415

Logic in Computer Science Modal Logic Finite Model Theory

Juha Kontinen

Professor, University of Helsinki, Finland

Geverifieerd e-mailadres voor helsinki.fi

Geciteerd door 1211

Mathematical Logic Logic in Computer Science Finite Model Theory

Szymon Toruńczyk

University of Warsaw

Geverifieerd e-mailadres voor mimuw.edu.pl

Geciteerd door 1076

Logic in Computer Science Finite Model Theory Structural Graph Theory Automata Theory Database Theory

Simi Haber

Mathematics, Bar-Ilan University

Geverifieerd e-mailadres voor biu.ac.il

Geciteerd door 801

Combinatorics Logic Finite model theory Financial mathematics

Argimiro Arratia Quesada

Universitat Politécnica de Catalunya, Spain

Geverifieerd e-mailadres voor upc.edu

Geciteerd door 727

computational finance algorithms finite model theory descriptive complexity

Jonni Virtema

Lecturer, University of Sheffield, UK

Geverifieerd e-mailadres voor sheffield.ac.uk

Geciteerd door 705

Finite Model Theory Logic in Computer Science Modal Logic Descriptive Complexity

Jakub Gajarsky

Assistant professor, University of Warsaw

Geverifieerd e-mailadres voor mimuw.edu.pl

Geciteerd door 672

Finite Model Theory Structural Graph Theory Parameterized Complexity

1 - 10