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

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