UNIVERSAL QUANTIFICATION
Experts
- Dmitriy Traytel
- Martin Raszyk
- Piero A. Bonatti
- David A. Basin
- Petr Sojka
- Martin Líska
- Dan Suciu
- Joachim Biskup
- Srdan Krstic
- Ashok Malhotra
- Kyu-Young Whang
- Amelia Harrison
- Vladimir Lifschitz
- Luanne M. Burns
- Michal Ruzicka
- Gary H. Sockut
- Yoram Hirshfeld
- Dániel Varró
- H. V. Jagadish
- Mohamed E. El-Sharkawi
- Iris Loeb
- Nathaniel Lee
- Anton Setzer
- Mauro Negri
- Takeo Kakuta
- Jeremy Frank
- Ramón Fabregat
- Christoph Lingenfelder
- Naidiao Zhu
- Claudio Fratarcangeli
- S. Bing Yao
- Ferran Prados
- Stefan Decker
- Nissim Francez
- Sameep Mehta
- Alessio Guglielmi
- Mohammad Reza Mousavi
- Mingsheng Ying
- Keith Golden
Venues
- CoRR
- Theor. Comput. Sci.
- SIGMOD Conference
- Electron. Notes Theor. Comput. Sci.
- ACM Trans. Database Syst.
- IEEE Trans. Knowl. Data Eng.
- ICDT
- ECAI
- ADBIS
- ACM Trans. Comput. Log.
- IEEE BigData
- CSL
- Comput. J.
- BigComp
- Inf. Comput.
- RTA
- EDBT
- SIGMOD Rec.
- Int. J. Data Min. Model. Manag.
- IJCAI
- Math. Log. Q.
- VL/HCC
- SAT
- STRICT
- COLING
- Fundam. Informaticae
- AIPS
- Proc. VLDB Endow.
- Theory Pract. Log. Program.
- FoIKS
- VLDB
- Arch. Formal Proofs
- J. Comput. Sci. Technol.
- ICLP
- IEEE Trans. Software Eng.
- PODS
- 计算机科学
- ICDE
- ICON
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend