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


DROPS-Home | Imprint | Privacy Published by LZI