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

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