Leszek Aleksander Kolodziejczyk

	2012
14		Zofia Adamowicz, Leszek Aleksander Kolodziejczyk, Jeff Paris: Truth definitions without exponentiation and the Σ₁ collection scheme. J. Symb. Log. 77(2): 649-655 (2012)
	2011
13		Mikolaj Bojanczyk, Leszek Aleksander Kolodziejczyk, Filip Murlak: Solutions in XML data exchange. ICDT 2011: 102-113
12		Leszek Aleksander Kolodziejczyk: Independence results for variants of sharply bounded induction. Ann. Pure Appl. Logic 162(12): 981-990 (2011)
11		Leszek Aleksander Kolodziejczyk, Phuong Nguyen, Neil Thapen: The provably total NP search problems of weak second order bounded arithmetic. Ann. Pure Appl. Logic 162(6): 419-446 (2011)
	2010
10		Sedki Boughattas, Leszek Aleksander Kolodziejczyk: The strength of sharply bounded induction requires MSP. Ann. Pure Appl. Logic 161(4): 504-510 (2010)
9		Zofia Adamowicz, Leszek Aleksander Kolodziejczyk: A note on the Sigma1 collection scheme and fragments of bounded arithmetic. Math. Log. Q. 56(2): 126-130 (2010)
	2009
8		Leszek Aleksander Kolodziejczyk, Neil Thapen: The polynomial and linear time hierarchies in V0. Math. Log. Q. 55(5): 509-514 (2009)
	2008
7		Leszek Aleksander Kolodziejczyk, Neil Thapen: The polynomial and linear hierarchies in models where the weak pigeonhole principle fails. J. Symb. Log. 73(2): 578-592 (2008)
	2007
6		Leszek Aleksander Kolodziejczyk, Neil Thapen: The Polynomial and Linear Hierarchies in V0. CiE 2007: 408-415
5		Zofia Adamowicz, Leszek Aleksander Kolodziejczyk: Partial collapses of the Sigma1 complexity hierarchy in models for fragments of bounded arithmetic. Ann. Pure Appl. Logic 145(1): 91-95 (2007)
	2006
4		Leszek Aleksander Kolodziejczyk: On the Herbrand notion of consistency for finitely axiomatizable fragments of bounded arithmetic theories. J. Symb. Log. 71(2): 624-638 (2006)
	2004
3		Leszek Aleksander Kolodziejczyk: Truth definitions in finite models. J. Symb. Log. 69(1): 183-200 (2004)
2		Leszek Aleksander Kolodziejczyk: A finite model-theoretical proof of a property of bounded query classes within PH. J. Symb. Log. 69(4): 1105-1116 (2004)
1		Zofia Adamowicz, Leszek Aleksander Kolodziejczyk: Well-behaved principles alternative to bounded induction. Theor. Comput. Sci. 322(1): 5-16 (2004)

Coauthor Index

1	Zofia Adamowicz	[1] [5] [9] [14]
2	Mikolaj Bojanczyk	[13]
3	Sedki Boughattas	[10]
4	Filip Murlak	[13]
5	Phuong Nguyen	[11]
6	Jeff Paris	[14]
7	Neil Thapen	[6] [7] [8] [11]

Colors in the list of coauthors

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page