Login
中文
Expressive Power
Related Fields
Anything in here will be replaced on browsers that support the canvas element
Artificial intelligence
Time complexity
Distributed computing
Model of computation
Database theory
Computational complexity theory
Database
Programming language
Petri net
Query language
Satisfiability
Model checking
Modal logic
First-order logic
Specification language
Computer Science
Temporal logic
Object-oriented programming
Relational database
Theory of computation
Logic
Information system
Description logic
Knowledge representation and reasoning
Computability
Parent Topic:
Theoretical computer science
,
Discrete mathematics
,
Artificial intelligence
,
Programming language
,
Semantics
,
Functional programming
Top Authors:
Jan Van Den Bussche
Georg Gottlob
Jan Paredaens
Frank Neven
Moshe Y Vardi
Alexander Rabinovich
Anuj Dawar
Martin Grohe
Diego Calvanese
Thomas Schwentick
Maurizio Lenzerini
Dirk Van Gucht
Ravi Sandhu
Michael Benedikt
Nicola Leone
Joseph Y Halpern
Marc Gyssens
Thomas Eiter
Carsten Lutz
Serge Abiteboul
Carlo Zaniolo
Luc Segoufin
Sergio Greco
Frank Wolter
Henri Prade
Orna Kupferman
Stijn Vansummeren
Lauri Hella
Maarten De Rijke
Tomi Janhunen
Luigi Palopoli
Francesco Scarcello
Andy Wellings
Richard Hull
Victor Vianu
Michael Zakharyaschev
Leonid Libkin
Nicole Schweikardt
Limsoon Wong
Wenfei Fan
Giuseppe Santucci
David Janin
Helmut Veith
Stephane Grumbach
Krishnendu Chatterjee
Stuart Russell
Mourad Ykhlef
Ian Pratthartmann
Bernhard Nebel
Francesco Parisipresicce
Paper Map
More
Author Map (v2)
More
Mentorship Map
More
Mentorship Hierachical Map
More
Paper Recommendation