Jedrzej Kolodziejski

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 5

Top Topics

Top Venues

Description Logics

Publications

Jean Christoph Jung, Jedrzej Kolodziejski
Modal Separability of Fixpoint Formulae. Description Logics (2024)
Jean Christoph Jung, Jedrzej Kolodziejski
Modal Separability of Fixpoint Formulae. CoRR (2024)
Jedrzej Kolodziejski, Bartek Klin
Countdown μ-calculus. CoRR (2022)
Jedrzej Kolodziejski, Bartek Klin
Countdown μ-Calculus. MFCS (2022)
Jedrzej Kolodziejski
Bisimulational Categoricity. AiML (2020)