UNIVERSAL QUANTIFICATION
Experts
- Dmitriy Traytel
- Martin Raszyk
- Dan Suciu
- Amelia Harrison
- David A. Basin
- Gary H. Sockut
- Martin Líska
- Vladimir Lifschitz
- Ashok Malhotra
- Michal Ruzicka
- Petr Sojka
- Luanne M. Burns
- Piero A. Bonatti
- Kyu-Young Whang
- Srdan Krstic
- Joachim Biskup
- Prathyusha Jwalapuram
- Haruo Yokota
- Alexander Moshe Rabinovich
- Pankaj K. Agarwal
- Licia Sbattella
- Claudio Fratarcangeli
- Stefan Decker
- Mingsheng Ying
- Paulo Shakarian
- Samik Basu
- Fahiem Bacchus
- Key-Sun Choi
- Xiaoli Gao
- Noel Ngu
- Kiran Pulapa
- Mohammad Reza Mousavi
- Nathaniel Lee
- Michael Kaminski
- Jason D. Lee
- Felienne Hermans
- Michel A. Reniers
- Ferruccio Guidi
- Georg Gottlob
Venues
- CoRR
- Theor. Comput. Sci.
- SIGMOD Conference
- ECAI
- Electron. Notes Theor. Comput. Sci.
- IEEE Trans. Knowl. Data Eng.
- ACM Trans. Database Syst.
- ICDT
- ADBIS
- ACM Trans. Comput. Log.
- Int. J. Data Min. Model. Manag.
- EDBT
- IJCAI
- J. Comput. Sci. Technol.
- 计算机科学
- CSL
- Comput. J.
- COLING
- ICDE
- Theory Pract. Log. Program.
- TLLM
- BigComp
- RTA
- Arch. Formal Proofs
- Log. Methods Comput. Sci.
- Fundam. Informaticae
- GWAI
- IEEE Trans. Software Eng.
- ICCSA (2)
- Proc. VLDB Endow.
- NWSearch@CIKM
- FoIKS
- Inf. Comput.
- PODS
- Ann. Math. Artif. Intell.
- AIPS
- SAT
- VLDB
- Math. Log. Q.
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend