No. Title Author Year
1 Answering FO+MOD Queries Under Updates on Bounded Degree Databases Berkholz, Christoph et al. 2017
2 Supercritical Space-Width Trade-Offs for Resolution Berkholz, Christoph et al. 2016
3 Parameterized Complexity of Fixed Variable Logics Berkholz, Christoph et al. 2014
4 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: 4


DROPS-Home | Fulltext Search | Imprint Published by LZI