No. Title Author Year
1 Stone Duality and the Substitution Principle Borlido, CÚlia et al. 2017
2 Visibly Counter Languages and Constant Depth Circuits Krebs, Andreas et al. 2015
3 Bounds for the quantifier depth in finite-variable logics: Alternation hierarchy Berkholz, Christoph et al. 2013
4 DLOGTIME Proof Systems Krebs, Andreas et al. 2013
5 An effective characterization of the alternation hierarchy in two-variable logic Krebs, Andreas et al. 2012
Current Page :
Number of result pages: 1
Number of documents: 5


DROPS-Home | Fulltext Search | Imprint Published by LZI