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


DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI