Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego
Publikacje
Leszek Kołodziejczyk
2016
- Leszek Aleksander Kołodziejczyk, A Reflection on Collection, w: Liber Amicorum Alberti. A Tribute to Albert Visser, 2016, s. 187–194.zobacz w PBN
- Leszek Aleksander Kołodziejczyk, End-extensions of models of weak arithmetic from complexity-theoretic containments, Journal Of Symbolic Logic 81 (3) 2016, s. 901–916.zobacz w PBN
- Leszek Aleksander Kołodziejczyk i Henryk Michalewski, How unprovable is Rabin's decidability theorem?, w: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, LICS '16, New York, NY, USA, July 5-8, 2016, 2016, s. 788–797.zobacz w PBN
- Leszek Aleksander Kołodziejczyk, Henryk Michalewski, Pierre Pradic i Michał Paweł Skrzypczak, The logical strength of Büchi's decidability theorem, w: 25th EACSL Annual Conference on Computer Science Logic (CSL 2016), Schloss Dagstuhl 2016, s. 36:1–36:16.zobacz w PBN
2011
- Leszek Aleksander Kołodziejczyk, Independence results for variants of sharply bounded induction, Annals Of Pure And Applied Logic 162 (12) 2011, s. 981–990.zobacz w PBN
- Leszek Aleksander Kołodziejczyk, Phuong Nguyen i Neil Thapen, The provably total NP search problems of weak second order bounded arithmetic, Annals Of Pure And Applied Logic 162 (6) 2011, s. 419–446.zobacz w PBN
- Mikołaj Bojańczyk, Leszek Aleksander Kołodziejczyk i Filip Murlak, Solutions in XML data exchange, w: Proceedings of the 14th International Conference on Database Theory. ICDT'11, ACM, Uppsala, Sweden 2011.zobacz w PBN