UNIVERSAL QUANTIFICATION
Experts
- Dmitriy Traytel
- Martin Raszyk
- Srdan Krstic
- Amelia Harrison
- Vladimir Lifschitz
- Martin Líska
- Michal Ruzicka
- Kyu-Young Whang
- Ashok Malhotra
- Dan Suciu
- Gary H. Sockut
- Piero A. Bonatti
- Petr Sojka
- David A. Basin
- Luanne M. Burns
- Joachim Biskup
- Jianzhong Li
- Jeremy Frank
- Susumu Kunifuji
- Bin Liu
- Guido Moerkotte
- Allen Van Gelder
- Joshua S. Auerbach
- Mingming Liu
- Cornelia Zelinsky-Wibbelt
- Jason D. Lee
- Jordi Poch
- Mohamed E. El-Sharkawi
- Key-Sun Choi
- Khaled-Walid Hidouci
- Masatoshi Uehara
- Shurug Al-Khalifa
- Giuseppe Pelagatti
- Horst Samulowitz
- Stanley B. Zdonik
- Felienne Hermans
- Tingjian Ge
- Gilles Dowek
- Ferruccio Guidi
Venues
- CoRR
- Theor. Comput. Sci.
- SIGMOD Conference
- ECAI
- ACM Trans. Database Syst.
- ICDT
- IEEE Trans. Knowl. Data Eng.
- Electron. Notes Theor. Comput. Sci.
- Comput. J.
- ADBIS
- VLDB
- Ann. Math. Artif. Intell.
- ICLP
- ICDE
- CSL
- BigComp
- FoIKS
- 计算机科学
- IEEE Trans. Software Eng.
- Arch. Formal Proofs
- COLING
- Stud Logica
- ACM Trans. Comput. Log.
- Proc. VLDB Endow.
- Log. Methods Comput. Sci.
- IEEE BigData
- PODS
- Fundam. Informaticae
- J. Comput. Sci. Technol.
- SIGMOD Rec.
- Theory Pract. Log. Program.
- ICON
- TLLM
- NWSearch@CIKM
- IJCAI
- VL/HCC
- Inf. Comput.
- RTA
- STRICT
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend