UNIVERSAL QUANTIFICATION
Experts
- Dmitriy Traytel
- Martin Raszyk
- Srdan Krstic
- Ashok Malhotra
- Vladimir Lifschitz
- Martin Líska
- David A. Basin
- Luanne M. Burns
- Petr Sojka
- Joachim Biskup
- Piero A. Bonatti
- Gary H. Sockut
- Kyu-Young Whang
- Amelia Harrison
- Dan Suciu
- Michal Ruzicka
- Sameep Mehta
- Dan Olteanu
- Allen Van Gelder
- Josep Soler
- Rodney W. Topor
- Keith Golden
- Claudio Fratarcangeli
- Abhay Kumar Jha
- H. V. Jagadish
- Alberto Policriti
- Ferruccio Guidi
- Alfons Kemper
- Jordi Poch
- Christoph Lingenfelder
- Alexander Moshe Rabinovich
- Gilles Dowek
- Louis Mandel
- Pankaj K. Agarwal
- Martin Hirzel
- Prathyusha Jwalapuram
- Jia Tao
- Nobuyoshi Miyazaki
- Licia Sbattella
Venues
- CoRR
- Theor. Comput. Sci.
- SIGMOD Conference
- ICDT
- Electron. Notes Theor. Comput. Sci.
- IEEE Trans. Knowl. Data Eng.
- ECAI
- ACM Trans. Database Syst.
- ICLP
- ICCSA (2)
- RTA
- COLING
- Ann. Math. Artif. Intell.
- GWAI
- ICDE
- Fundam. Informaticae
- SIGMOD Rec.
- IEEE BigData
- STRICT
- Int. J. Data Min. Model. Manag.
- Arch. Formal Proofs
- Math. Log. Q.
- Log. Methods Comput. Sci.
- NWSearch@CIKM
- IEEE Trans. Software Eng.
- Stud Logica
- EDBT
- VLDB
- VL/HCC
- IJCAI
- Comput. J.
- FoIKS
- AIPS
- ADBIS
- KONVENS
- PODS
- ICON
- TLLM
- ACM Trans. Comput. Log.
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend