Konrad Zdanowski
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
showing all ?? records
2010 – today
- 2017
- [c6]Lorenzo Carlucci, Leszek Aleksander Kolodziejczyk, Francesco Lepore, Konrad Zdanowski:
New Bounds on the Strength of Some Restrictions of Hindman's Theorem. CiE 2017: 210-220 - 2016
- [j8]Aleksy Schubert, Pawel Urzyczyn, Konrad Zdanowski:
On the Mints Hierarchy in First-Order Intuitionistic Logic. Logical Methods in Computer Science 12(4) (2016) - 2015
- [c5]Aleksy Schubert, Pawel Urzyczyn, Konrad Zdanowski:
On the Mints Hierarchy in First-Order Intuitionistic Logic. FoSSaCS 2015: 451-465 - 2014
- [j7]Lorenzo Carlucci, Konrad Zdanowski:
The strength of Ramsey's Theorem for Coloring Relatively Large Sets. J. Symb. Log. 79(1): 89-102 (2014) - 2012
- [c4]
- [i1]Lorenzo Carlucci, Konrad Zdanowski:
The strength of Ramsey Theorem for coloring relatively large sets. CoRR abs/1204.1134 (2012) - 2011
- [j6]Michal Krynicki, Jerzy Tomasik, Konrad Zdanowski:
Theories of initial segments of standard models of arithmetics and their complete extensions. Theor. Comput. Sci. 412(31): 3975-3991 (2011)
2000 – 2009
- 2009
- [j5]Konrad Zdanowski:
On second order intuitionistic propositional logic without a universal quantifier. J. Symb. Log. 74(1): 157-167 (2009) - [j4]Henryk Kotlarski, Konrad Zdanowski:
On a question of Andreas Weiermann. Math. Log. Q. 55(2): 201-211 (2009) - [c3]Thomas Colcombet, Konrad Zdanowski:
A Tight Lower Bound for Determinization of Transition Labeled Büchi Automata. ICALP (2) 2009: 151-162 - 2007
- [j3]Michal Krynicki, Marcin Mostowski, Konrad Zdanowski:
Finite Arithmetics. Fundam. Inform. 81(1-3): 183-202 (2007) - 2005
- [j2]Michal Krynicki, Konrad Zdanowski:
Theories of arithmetics in finite models. J. Symb. Log. 70(1): 1-28 (2005) - [c2]
- [c1]
- 2004
- [j1]Marcin Mostowski, Konrad Zdanowski:
Degrees of logics with Henkin quantifiers in poor vocabularies. Arch. Math. Log. 43(5): 691-702 (2004)
Coauthor Index
data released under the ODC-BY 1.0 license; see also our legal information page
last updated on 2017-12-10 23:18 CET by the dblp team