EXPRESSIVE POWER
Experts
- Jan Van den Bussche
- Leonid Libkin
- Carsten Lutz
- Michael Zakharyaschev
- Frank Wolter
- Georg Gottlob
- Grzegorz Rozenberg
- Ian Horrocks
- Dirk Van Gucht
- Carlo Zaniolo
- Diego Calvanese
- Roman Kontchakov
- Oscar H. Ibarra
- Maurizio Lenzerini
- Janusz A. Brzozowski
- Manfred Droste
- Sergio Greco
- Marc Gyssens
- Pablo Barceló
- Lluís Godo
- Dan Suciu
- Bruno Courcelle
- Michael Benedikt
- Erich Grädel
- Boris Motik
- Serge Abiteboul
- Nicole Schweikardt
- Joost Engelfriet
- Thomas Lukasiewicz
- Phokion G. Kolaitis
- Petr Cintula
- Bernardo Cuenca Grau
- Vladislav Ryzhikov
- Francesc Esteva
- Balder ten Cate
- Giuseppe De Giacomo
- Moshe Y. Vardi
- Stéphane Demri
- Andrzej Ehrenfeucht
Venues
- CoRR
- Theor. Comput. Sci.
- Description Logics
- Stud Logica
- J. Symb. Log.
- ICALP
- J. Log. Comput.
- Inf. Comput.
- LICS
- J. Comput. Syst. Sci.
- PODS
- MFCS
- Notre Dame J. Formal Log.
- Log. J. IGPL
- IJCAI
- Fundam. Informaticae
- Inf. Process. Lett.
- CSL
- Math. Log. Q.
- Log. Methods Comput. Sci.
- J. Philos. Log.
- Ann. Pure Appl. Log.
- Fuzzy Sets Syst.
- SIGMOD Conference
- AAAI
- LREC
- STACS
- KR
- RAIRO Theor. Informatics Appl.
- Electron. Notes Theor. Comput. Sci.
- Arch. Math. Log.
- Developments in Language Theory
- Inf. Control.
- ICDT
- ICDE
- ACM SIGPLAN Notices
- Inf. Sci.
- INTERSPEECH
- Int. J. Found. Comput. Sci.
Related Topics
Related Keywords
Popularity