Back to the list of the institutes
Publications
Jędrzej Kołodziejski
Number of publications: 42025
- Jean Christoph Jung, Jędrzej Kołodziejski , Modal Separation of Fixpoint Formulae, 42nd International Symposium on Theoretical Aspects of Computer Science, Jena, Germany, 4 March 2025 - 7 March 2025, 327 (55) 2025, p. 1:20. See in PBN
2024
- Jean Christoph Jung, Jędrzej Kołodziejski , Modal Separability of Fixpoint Formulae, 37th International Workshop on Description Logics, Bergen, Germany, 18 June 2024 - 21 June 2024, 3739 2024. See in PBN
2022
- Jędrzej Kołodziejski , Bartosz Klin , Countdown μ-Calculus, 47th International Symposium on Mathematical Foundations of Computer Science, Vienna, Austria, 22 August 2022 - 26 August 2022, 241 (64) 2022, p. 1:14. See in PBN
2020
- Jędrzej Kołodziejski , Bisimulational categoricity, 13th Conference on Advances in Modal Logic, Helsinki, Finland, 24 August 2020 - 28 August 2020, 13 2020. See in PBN
You are not logged in |