Publikacje

Jędrzej Kołodziejski

2025

• Jean Christoph Jung, Jędrzej Kołodziejski , Modal Separation of Fixpoint Formulae, 42nd International Symposium on Theoretical Aspects of Computer Science, Jena, Germany, 4 marca 2025 - 7 marca 2025, 327 (55) 2025, s. 1:20. Zobacz w PBN

2024

• Jean Christoph Jung, Jędrzej Kołodziejski , Modal Separability of Fixpoint Formulae, 37th International Workshop on Description Logics, Bergen, Germany, 18 czerwca 2024 - 21 czerwca 2024, 3739 2024. Zobacz w PBN

2022

• Jędrzej Kołodziejski , Bartosz Klin , Countdown μ-Calculus, 47th International Symposium on Mathematical Foundations of Computer Science, Vienna, Austria, 22 sierpnia 2022 - 26 sierpnia 2022, 241 (64) 2022, s. 1:14. Zobacz w PBN

2020

• Jędrzej Kołodziejski , Bisimulational categoricity, 13th Conference on Advances in Modal Logic, Helsinki, Finland, 24 sierpnia 2020 - 28 sierpnia 2020, 13 2020. Zobacz w PBN