Pages that link to "Item:Q5111646"
From MaRDI portal
The following pages link to Efficient Coalgebraic Partition Refinement (Q5111646):
Displayed 7 items.
- Lumpability for uncertain continuous-time Markov chains (Q832091) (← links)
- From generic partition refinement to weighted tree automata minimization (Q1982644) (← links)
- Probabilistic mediator: a coalgebraic perspective (Q2079684) (← links)
- A (co)algebraic theory of succinct automata (Q2423764) (← links)
- Minimality Notions via Factorization Systems and Examples (Q5043590) (← links)
- Quasilinear-time Computation of Generic Modal Witnesses for Behavioural Inequivalence (Q5060192) (← links)
- (Q5875346) (← links)