| ||
1. | Truth definitions without exponentiation and the $\Sigma_1$ collection scheme
JOURNAL OF SYMBOLIC LOGIC Tom 77 Nr 2 r. 2012, str. 649-655 (Artykuł) Zofia Adamowicz, Leszek Kołodziejczyk, J. Paris | |
2. | Independence results for variants of sharply bounded induction
ANNALS OF PURE AND APPLIED LOGIC Tom 162 r. 2011, str. 981-990 (Artykuł) Leszek Kołodziejczyk | |
3. | The provably total NP search problems of weak second order bounded arithmetic
ANNALS OF PURE AND APPLIED LOGIC Tom 162 r. 2011, str. 419-446 (Artykuł) Leszek Kołodziejczyk, Phuong Nguyen, Neil Thapen | |
4. | A note on the $Sum_1$ collection scheme and fragments of bounded arithmetic
MATHEMATICAL LOGIC QUARTERLY Tom 56 Nr 2 r. 2010, str. 126-130 (Artykuł) Zofia Adamowicz, Leszek Kołodziejczyk | |
5. | The strength of sharply bounded induction requires MSP
ANNALS OF PURE AND APPLIED LOGIC Tom 161 r. 2010, str. 504-510 (Artykuł) Sedki Boughattas, Leszek Kołodziejczyk | |
6. | The polynomial and linear time hierarchies in V0
MATHEMATICAL LOGIC QUARTERLY Tom 55 Nr 5 r. 2009, str. 509-514 (Artykuł) Leszek Kołodziejczyk, Neil Thapen | |
7. | The polynomial and linear hierarchies in models where the weak pigeonhole principle fails
JOURNAL OF SYMBOLIC LOGIC Tom 73 r. 2008, str. 578-592 (Artykuł) Leszek Kołodziejczyk, Neil Thapen | |
8. | Partial collapses of the 1 complexity hierarchy in models for fragments of bounded arithmetic
ANNALS OF PURE AND APPLIED LOGIC Tom 145 Nr 2 r. 2007, str. 91-95 (Artykuł) Z. Adamowicz, Leszek Kołodziejczyk | |
9. | The polynomial and linear hierarchies in V^0
LECTURE NOTES IN COMPUTER SCIENCE Tom 4497 r. 2007, str. 408-415 (Artykuł) Leszek Kołodziejczyk, N. Thapen | |
10. | On the Herbrand notion of consistency for finitely axiomatizable fragments of bounded arithmetic theories
JOURNAL OF SYMBOLIC LOGIC Tom 71 Nr 2 r. 2006, str. 624-638 (Artykuł) Leszek Kołodziejczyk (Autor oryginału) | |
11. | Partial collapses of the \Sigma_l complexity hierarchy in models for fragments of bounded arithmetics
ANNALS OF PURE AND APPLIED LOGIC Tom 145 r. 2006, str. 91-95 (Artykuł) Leszek Kołodziejczyk, Zofia Adamowicz | |
12. | Euklides: Elementy, księga I- wstęp, przekład, komentarz
ZAGADNIENIA NAUKOZNAWSTWA Tom 164 Nr 1 r. 2005, str. 275-312 (Artykuł) Leszek Kołodziejczyk (Autor komentarza), Rafał Szczepkowski (Autor komentarza) | |
13. | A finite model - theoretical proof of a property of bounded query classes within PH
JOURNAL OF SYMBOLIC LOGIC Tom 69 r. 2004, str. 1105-1116 (Artykuł) Leszek Kołodziejczyk | |
14. | Truth definitions in finite models
JOURNAL OF SYMBOLIC LOGIC Tom 69 r. 2004, str. 183-200 (Artykuł) Leszek Kołodziejczyk | |
15. | Well-behaved principles alternative to bounded induction
THEORETICAL COMPUTER SCIENCE Tom 322 r. 2004, str. 5-16 (Artykuł) Leszek Kołodziejczyk | |
| ||
16. | Solutions in XML data exchange
w: 14th International Conference on Database Theory - ICDT 2011, str. 102-113, ACM, r. 2011 (Artykuł konferencyjny) Mikołaj Bojańczyk, Leszek Kołodziejczyk, Filip Murlak | |
17. | Solutions in XML data exchange
w: Proceedings of the 14th International Conference on Database Theory. ICDT'11, str. 1-12, ACM, r. 2011 (Artykuł konferencyjny) Mikołaj Bojańczyk, Leszek Kołodziejczyk, Filip Murlak |