| No. |
Title |
Author |
Year |
| 1 |
Front Matter, Table of Contents, Preface, Conference Organization |
Klin, Bartek et al. |
2023 |
| 2 |
LIPIcs, Volume 252, CSL 2023, Complete Volume |
Klin, Bartek et al. |
2023 |
| 3 |
Countdown μ-Calculus |
Kołodziejski, Jędrzej et al. |
2022 |
| 4 |
Front Matter, Table of Contents, Preface, Conference Organization |
Klin, Bartek et al. |
2022 |
| 5 |
LIPIcs, Volume 243, CONCUR 2022, Complete Volume |
Klin, Bartek et al. |
2022 |
| 6 |
μ-Calculi with Atoms (Invited Talk) |
Klin, Bartek |
2021 |
| 7 |
Expressiveness of Probabilistic Modal Logics, Revisited |
Fijalkow, Nathanaël et al. |
2017 |
| 8 |
Modal mu-Calculus with Atoms |
Klin, Bartek et al. |
2017 |
| 9 |
Homomorphism Problems for First-Order Definable Structures |
Klin, Bartek et al. |
2016 |
| 10 |
Presenting Morphisms of Distributive Laws |
Klin, Bartek et al. |
2015 |
| 11 |
Nominal Computation Theory (Dagstuhl Seminar 13422) |
Bojanczyk, Mikolaj et al. |
2014 |
