No. Title Author Year
1 Expressiveness of Probabilistic Modal Logics, Revisited Fijalkow, NathanaŽl et al. 2017
2 Modal mu-Calculus with Atoms Klin, Bartek et al. 2017
3 Homomorphism Problems for First-Order Definable Structures Klin, Bartek et al. 2016
4 Presenting Morphisms of Distributive Laws Klin, Bartek et al. 2015
5 Nominal Computation Theory (Dagstuhl Seminar 13422) Bojanczyk, Mikolaj et al. 2014
Current Page :
Number of result pages: 1
Number of documents: 5


DROPS-Home | Fulltext Search | Imprint Published by LZI