No. Title Author Year
1 Graded Monads and Graded Logics for the Linear Time - Branching Time Spectrum Dorsch, Ulrich et al. 2019
2 Varieties of Data Languages Urbat, Henning et al. 2019
3 Efficient Coalgebraic Partition Refinement Dorsch, Ulrich et al. 2017
4 Eilenberg Theorems for Free Urbat, Henning et al. 2017
5 On Corecursive Algebras for Functors Preserving Coproducts Adámek, Jiri et al. 2017
6 Proper Functors and their Rational Fixed Point Milius, Stefan 2017
7 Finitary Corecursion for the Infinitary Lambda Calculus Milius, Stefan et al. 2015
8 Generic Trace Semantics and Graded Monads Milius, Stefan et al. 2015
9 Syntactic Monoids in a Category Adamek, Jiri et al. 2015
10 Power-Set Functors and Saturated Trees Adamek, Jiri et al. 2011
Current Page :
Number of result pages: 1
Number of documents: 10

DROPS-Home | Imprint | Privacy Published by LZI