Pages that link to "Item:Q5458362"
From MaRDI portal
The following pages link to Coalgebraic Logic and Synthesis of Mealy Machines (Q5458362):
Displaying 8 items.
- Relational properties of sequential composition of coalgebras (Q406463) (← links)
- Quantitative Kleene coalgebras (Q532394) (← links)
- Monoidal computer III: a coalgebraic view of computability and complexity (extended abstract) (Q1798794) (← links)
- A description based on languages of the final non-deterministic automaton (Q2449045) (← links)
- Coalgebraic Components in a Many-Sorted Microcosm (Q2888477) (← links)
- A Kleene Theorem for Polynomial Coalgebras (Q3617725) (← links)
- (Q5111328) (← links)
- (Co)Algebraic Characterizations of Signal Flow Graphs (Q5418958) (← links)
