CONSTRAINT QUERY LANGUAGES
Experts
- Leah Epstein
- Sebastian Link
- Michael Benedikt
- Jan Van den Bussche
- Peter Z. Revesz
- Volker Weispfenning
- Sven Hartmann
- Leonid Libkin
- Asaf Levin
- Dirk Van Gucht
- György Dósa
- Marc Gyssens
- Dragan G. Radojevic
- Olivier Carton
- Czeslaw Lejewski
- Michal Karpinski
- Tobias Nipkow
- Jacopo Mauro
- Sagar Malhotra
- Yakoub Salhi
- Saurabh Joshi
- Vasco M. Manquinho
- Jérémie Cabessa
- Jean-Eric Pin
- Pavle Milosevic
- Magnus Lie Hetland
- Halvard Hummel
- Scott McCallum
- David A. Cohen
- Ruben Martins
- Saïd Jabbour
- Paris C. Kanellakis
- Moran Feldman
- József Békési
- Luciano Serafini
- Alexander Okhotin
- Inês Lynce
- Bratislav Petrovic
- Thomas Schwentick
Venues
- CoRR
- Theor. Comput. Sci.
- CP
- IEEE Trans. Computers
- Notre Dame J. Formal Log.
- ER
- J. Log. Comput.
- Inf. Comput.
- Ann. Pure Appl. Log.
- Arch. Math. Log.
- ISSAC
- J. Symb. Log.
- J. Autom. Reason.
- Math. Log. Q.
- IEEE Trans. Knowl. Data Eng.
- AAAI
- STACS
- Proc. ACM Program. Lang.
- J. Symb. Comput.
- Electron. Notes Theor. Comput. Sci.
- Log. Methods Comput. Sci.
- PODS
- CSL
- Appl. Algebra Eng. Commun. Comput.
- J. Comput. Syst. Sci.
- FSTTCS
- Discret. Appl. Math.
- J. ACM
- SAC
- IFIP TCS
- Theory Pract. Log. Program.
- ICDT
- SIGMOD Rec.
- Comput. J.
- Inf. Process. Lett.
- ICAPS
- ISMVL
- Arch. Formal Proofs
- Constraints An Int. J.
Related Topics
Related Keywords
Popularity