UNIVERSAL QUANTIFICATION
Experts
- Martin Raszyk
- Dmitriy Traytel
- Luanne M. Burns
- David A. Basin
- Srdan Krstic
- Dan Suciu
- Ashok Malhotra
- Vladimir Lifschitz
- Joachim Biskup
- Petr Sojka
- Piero A. Bonatti
- Kyu-Young Whang
- Martin Líska
- Gary H. Sockut
- Michal Ruzicka
- Amelia Harrison
- Ofer Arieli
- Dan Olteanu
- Alfons Kemper
- Khaled-Walid Hidouci
- Philippe Richard
- Jens Claußen
- Guido Moerkotte
- Iris Loeb
- Wenhui Zhang
- Bas Jansen
- Stefan Decker
- Shigeki Shibayama
- Mohammad Reza Mousavi
- Jason D. Lee
- Hong Gao
- Wafaa M. A. Habib
- Rajmohan C
- Michel A. Reniers
- Ramón Fabregat
- Nathaniel Lee
- Himanshu Gupta
- Martin Hirzel
- Wenhao Zhan
Venues
- CoRR
- SIGMOD Conference
- Theor. Comput. Sci.
- Electron. Notes Theor. Comput. Sci.
- ICDT
- IEEE Trans. Knowl. Data Eng.
- ECAI
- ACM Trans. Database Syst.
- IEEE BigData
- Fundam. Informaticae
- Int. J. Data Min. Model. Manag.
- Math. Log. Q.
- Arch. Formal Proofs
- ICON
- CSL
- GWAI
- FoIKS
- J. Comput. Sci. Technol.
- RTA
- Log. Methods Comput. Sci.
- NWSearch@CIKM
- KONVENS
- ACM Trans. Comput. Log.
- ICLP
- Ann. Math. Artif. Intell.
- SIGMOD Rec.
- PODS
- EDBT
- COLING
- TLLM
- STRICT
- IJCAI
- ICDE
- VLDB
- BigComp
- IEEE Trans. Software Eng.
- Stud Logica
- AIPS
- Inf. Comput.
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend