No. Title Author Year
1 Answering UCQs under Updates and in the Presence of Integrity Constraints Berkholz, Christoph et al. 2018
2 The Relation between Polynomial Calculus, Sherali-Adams, and Sum-of-Squares Proofs Berkholz, Christoph 2018
3 Answering FO+MOD Queries Under Updates on Bounded Degree Databases Berkholz, Christoph et al. 2017
4 Supercritical Space-Width Trade-Offs for Resolution Berkholz, Christoph et al. 2016
5 Parameterized Complexity of Fixed Variable Logics Berkholz, Christoph et al. 2014
6 Bounds for the quantifier depth in finite-variable logics: Alternation hierarchy Berkholz, Christoph et al. 2013
Current Page :
Number of result pages: 1
Number of documents: 6


DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI