UNIVERSAL QUANTIFICATION
Experts
- Martin Raszyk
- Dmitriy Traytel
- Vladimir Lifschitz
- Srdan Krstic
- Joachim Biskup
- Amelia Harrison
- Kyu-Young Whang
- Piero A. Bonatti
- Luanne M. Burns
- Ashok Malhotra
- Martin Líska
- Petr Sojka
- David A. Basin
- Michal Ruzicka
- Dan Suciu
- Gary H. Sockut
- Naidiao Zhu
- Horst Samulowitz
- Dan Olteanu
- Gábor Szárnyas
- József Marton
- Keith Golden
- Michael Kaminski
- Alejandro Díaz-Caro
- Mingming Liu
- Abhay Kumar Jha
- Claudio Fratarcangeli
- Carsten Lutz
- Josep Soler
- Wafaa M. A. Habib
- Anton Setzer
- Yoram Hirshfeld
- Michel A. Reniers
- Nobuyoshi Miyazaki
- Marcin Przybylko
- Alessio Guglielmi
- Vasant G. Honavar
- Shurug Al-Khalifa
- Alfons Kemper
Venues
- CoRR
- Theor. Comput. Sci.
- SIGMOD Conference
- ICDT
- ACM Trans. Database Syst.
- Electron. Notes Theor. Comput. Sci.
- ECAI
- IJCAI
- IEEE Trans. Knowl. Data Eng.
- Log. Methods Comput. Sci.
- STRICT
- Comput. J.
- NWSearch@CIKM
- ICDE
- VLDB
- RTA
- CSL
- J. Comput. Sci. Technol.
- Inf. Comput.
- SIGMOD Rec.
- ICON
- ICCSA (2)
- COLING
- IEEE BigData
- ICLP
- BigComp
- Theory Pract. Log. Program.
- Proc. VLDB Endow.
- 计算机科学
- Arch. Formal Proofs
- FoIKS
- ADBIS
- PODS
- Fundam. Informaticae
- Math. Log. Q.
- VL/HCC
- IEEE Trans. Software Eng.
- SAT
- AIPS
Related Topics
Related Keywords
Popularity