No. Title Author Year
1 The Alternating-Time μ-Calculus with Disjunctive Explicit Strategies Göttlinger, Merlin et al. 2021
2 Uniform Interpolation in Coalgebraic Modal Logic Seifan, Fatemeh et al. 2017
3 Generic Trace Semantics and Graded Monads Milius, Stefan et al. 2015
4 Named Models in Coalgebraic Hybrid Logic Schröder, Lutz et al. 2010
5 Strong Completeness of Coalgebraic Modal Logics Schröder, Lutz et al. 2009
Current Page :
Number of result pages: 1
Number of documents: 5

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