UNIVERSAL QUANTIFICATION
Experts
- Dmitriy Traytel
- Martin Raszyk
- Srdan Krstic
- Joachim Biskup
- Kyu-Young Whang
- Luanne M. Burns
- Piero A. Bonatti
- Michal Ruzicka
- Petr Sojka
- Gary H. Sockut
- Martin Líska
- Vladimir Lifschitz
- Ashok Malhotra
- Amelia Harrison
- Dan Suciu
- David A. Basin
- Alberto Policriti
- Philippe Richard
- Jérôme Siméon
- Jeremy Frank
- Hong Gao
- Zhenqing Wu
- Dale Miller
- Alejandro Díaz-Caro
- Sameep Mehta
- Bas Jansen
- Guido Moerkotte
- József Marton
- H. V. Jagadish
- Masatoshi Uehara
- Haruo Yokota
- Alfons Kemper
- Alessio Guglielmi
- Shurug Al-Khalifa
- Nissim Francez
- Keith Golden
- Gilles Dowek
- Susumu Kunifuji
- Iris Loeb
Venues
- CoRR
- SIGMOD Conference
- Theor. Comput. Sci.
- Electron. Notes Theor. Comput. Sci.
- ACM Trans. Database Syst.
- IEEE Trans. Knowl. Data Eng.
- ICDT
- ECAI
- Stud Logica
- IEEE BigData
- ACM Trans. Comput. Log.
- IJCAI
- CSL
- ADBIS
- Int. J. Data Min. Model. Manag.
- EDBT
- 计算机科学
- J. Comput. Sci. Technol.
- RTA
- BigComp
- Log. Methods Comput. Sci.
- Fundam. Informaticae
- GWAI
- IEEE Trans. Software Eng.
- Theory Pract. Log. Program.
- COLING
- Comput. J.
- ICDE
- TLLM
- Arch. Formal Proofs
- FoIKS
- PODS
- Inf. Comput.
- Ann. Math. Artif. Intell.
- Proc. VLDB Endow.
- ICCSA (2)
- ICLP
- NWSearch@CIKM
- KONVENS
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend