Konrad Zdanowski

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2012
c4		Lorenzo Carlucci, Konrad Zdanowski: A Note on Ramsey Theorems and Turing Jumps. CiE 2012: 89-95
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)
	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		Marcin Mostowski, Konrad Zdanowski: FM-Representability and Beyond. CiE 2005: 358-367
c1		Marcin Mostowski, Konrad Zdanowski: Coprimality in Finite Models. CSL 2005: 263-275
	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

Last update Wed May 22 19:05:47 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page