CONSTRAINT DATABASES
Experts
- Peter Z. Revesz
- Jan Van den Bussche
- Leonid Libkin
- Bart Kuijpers
- Martin Grohe
- Dirk Van Gucht
- Nicole Schweikardt
- Daniel Ménard
- Luc Segoufin
- Michael Benedikt
- Erich Grädel
- Olivier Sentieys
- Anuj Dawar
- Stéphane Grumbach
- Wlodzimierz Bielecki
- Stephan Kreutzer
- Jianwen Su
- Silvio Ghilardi
- David P. Woodruff
- Christoph Wernhard
- Arnab Bhattacharyya
- Carsten Lutz
- Eugene Goldberg
- Zhenbo Wang
- Kameng Nip
- Xi Chen
- Marc Gyssens
- Floris Geerts
- Elena Grigorescu
- Sofya Raskhodnikova
- Koji Zettsu
- Manfred Kufleitner
- Volker Weispfenning
- Zoltán Ésik
- Elisa Bertino
- Philipp Rümmer
- Viktor Kuncak
- Daniel Kroening
- Panagiotis Manolios
Venues
- CoRR
- Theor. Comput. Sci.
- J. Symb. Log.
- LICS
- PODS
- Ann. Pure Appl. Log.
- ICASSP
- CSL
- Appl. Math. Lett.
- ICDE
- Appl. Math. Comput.
- Math. Log. Q.
- Symmetry
- Int. J. Math. Math. Sci.
- Arch. Math. Log.
- J. Comput. Syst. Sci.
- ICDT
- J. Appl. Math.
- J. Symb. Comput.
- Inf. Process. Lett.
- ISSAC
- STACS
- Comput. Math. Appl.
- Axioms
- CP
- Notre Dame J. Formal Log.
- Fuzzy Sets Syst.
- TIME
- ISCAS
- IEEE Trans. Knowl. Data Eng.
- Log. Methods Comput. Sci.
- Inf. Comput.
- Fundam. Informaticae
- LPAR
- AAAI
- Comput. J.
- J. Log. Comput.
- ACM Trans. Database Syst.
- SIGMOD Conference
Related Topics
Related Keywords
Popularity