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