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