UNIVERSAL QUANTIFICATION
Experts
- Martin Raszyk
- Dmitriy Traytel
- Dan Suciu
- Petr Sojka
- Martin Líska
- David A. Basin
- Piero A. Bonatti
- Amelia Harrison
- Vladimir Lifschitz
- Luanne M. Burns
- Michal Ruzicka
- Gary H. Sockut
- Kyu-Young Whang
- Ashok Malhotra
- Joachim Biskup
- Srdan Krstic
- Dan Olteanu
- Allen Van Gelder
- Pankaj K. Agarwal
- Martin Hirzel
- Wen Sun
- Horst Samulowitz
- Khaled-Walid Hidouci
- Vasant G. Honavar
- Haruo Yokota
- Alberto Policriti
- Torsten Marek
- Klaus Peithner
- Alejandro Díaz-Caro
- Yubo Luo
- Gábor Szárnyas
- Joakim Lundborg
- Xiaojing Hui
- Jens Claußen
- Abhay Kumar Jha
- Jordi Poch
- Masatoshi Uehara
- Michel A. Reniers
- Giuseppe Pelagatti
Venues
- CoRR
- SIGMOD Conference
- Theor. Comput. Sci.
- ACM Trans. Database Syst.
- IEEE Trans. Knowl. Data Eng.
- ICDT
- ECAI
- Electron. Notes Theor. Comput. Sci.
- AIPS
- PODS
- ICON
- ICDE
- VLDB
- Arch. Formal Proofs
- ICLP
- IEEE Trans. Software Eng.
- J. Comput. Sci. Technol.
- KONVENS
- 计算机科学
- Log. Methods Comput. Sci.
- ACM Trans. Comput. Log.
- GWAI
- Ann. Math. Artif. Intell.
- NWSearch@CIKM
- TLLM
- ICCSA (2)
- Stud Logica
- EDBT
- SIGMOD Rec.
- Math. Log. Q.
- ADBIS
- IEEE BigData
- Comput. J.
- CSL
- RTA
- Inf. Comput.
- Proc. VLDB Endow.
- STRICT
- COLING
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend