No. Title Author Year
1 A Linear-Time Nominal μ-Calculus with Name Allocation Hausmann, Daniel et al. 2021
2 Coalgebra Encoding for Efficient Minimization Deifel, Hans-Peter et al. 2021
3 Explaining Behavioural Inequivalence Generically in Quasilinear Time Wißmann, Thorsten et al. 2021
4 Initial Algebras Without Iteration ((Co)algebraic pearls) Adámek, Jiří et al. 2021
5 Monads on Categories of Relational Structures Ford, Chase et al. 2021
6 Nominal Büchi Automata with Name Allocation Urbat, Henning et al. 2021
7 From Equational Specifications of Algebras with Structure to Varieties of Data Languages (Invited Paper) Milius, Stefan 2019
8 Graded Monads and Graded Logics for the Linear Time - Branching Time Spectrum Dorsch, Ulrich et al. 2019
9 Varieties of Data Languages Urbat, Henning et al. 2019
10 Efficient Coalgebraic Partition Refinement Dorsch, Ulrich et al. 2017
11 Eilenberg Theorems for Free Urbat, Henning et al. 2017
12 On Corecursive Algebras for Functors Preserving Coproducts Adámek, Jiri et al. 2017
13 Proper Functors and their Rational Fixed Point Milius, Stefan 2017
14 Finitary Corecursion for the Infinitary Lambda Calculus Milius, Stefan et al. 2015
15 Generic Trace Semantics and Graded Monads Milius, Stefan et al. 2015
16 Syntactic Monoids in a Category Adamek, Jiri et al. 2015
17 Power-Set Functors and Saturated Trees Adamek, Jiri et al. 2011
Current Page :
Number of result pages: 1
Number of documents: 17


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