Pages that link to "Item:Q3617725"
From MaRDI portal
The following pages link to A Kleene Theorem for Polynomial Coalgebras (Q3617725):
Displaying 12 items.
- Quantitative Kleene coalgebras (Q532394) (← links)
- Subsequential transducers: a coalgebraic perspective (Q618167) (← links)
- A complete logic for behavioural equivalence in coalgebras of finitary set functors (Q1683709) (← links)
- Coalgebraising subsequential transducers (Q2873665) (← links)
- A Decision Procedure for Bisimilarity of Generalized Regular Expressions (Q2999323) (← links)
- Deriving Syntax and Axioms for Quantitative Regular Behaviours (Q3184671) (← links)
- On the Coalgebraic Theory of Kleene Algebra with Tests (Q3299849) (← links)
- A Kleene Theorem for Polynomial Coalgebras (Q3617725) (← links)
- A Calculus of Terms for Coalgebras of Polynomial Functors (Q4917037) (← links)
- Effective definability of Kolchin polynomials (Q5218192) (← links)
- (Q5465440) (← links)
- A Complete Logic for Behavioural Equivalence in Coalgebras of Finitary Set Functors (Q5739455) (← links)