Leszek Aleksander Kolodziejczyk

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007

3 EE Leszek Aleksander Kolodziejczyk, Neil Thapen: The Polynomial and Linear Hierarchies in V⁰. CiE 2007: 408-415

2 EE Zofia Adamowicz, Leszek Aleksander Kolodziejczyk: Partial collapses of the Sigma₁ complexity hierarchy in models for fragments of bounded arithmetic. Ann. Pure Appl. Logic 145(1): 91-95 (2007)

2004

1 EE Zofia Adamowicz, Leszek Aleksander Kolodziejczyk: Well-behaved principles alternative to bounded induction. Theor. Comput. Sci. 322(1): 5-16 (2004)

2007
3	EE	Leszek Aleksander Kolodziejczyk, Neil Thapen: The Polynomial and Linear Hierarchies in V⁰. CiE 2007: 408-415
2	EE	Zofia Adamowicz, Leszek Aleksander Kolodziejczyk: Partial collapses of the Sigma₁ complexity hierarchy in models for fragments of bounded arithmetic. Ann. Pure Appl. Logic 145(1): 91-95 (2007)
2004
1	EE	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] [2]

2 Neil Thapen [3]

Colors in the list of coauthors