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


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