Pages that link to "Item:Q4913772"
From MaRDI portal
The following pages link to Generalizing determinization from automata to coalgebras (Q4913772):
Displayed 31 items.
- Coalgebraic constructions of canonical nondeterministic automata (Q890382) (← links)
- Behavioural equivalences for coalgebras with unobservable moves (Q890618) (← links)
- Predicate liftings and functor presentations in coalgebraic expression languages (Q1798785) (← links)
- Long-term values in Markov decision processes, (co)algebraically (Q1798787) (← links)
- (in)finite trace equivalence of probabilistic transition systems (Q1798789) (← links)
- Steps and traces (Q1798791) (← links)
- On algebras with effectful iteration (Q1798792) (← links)
- From generic partition refinement to weighted tree automata minimization (Q1982644) (← links)
- Coalgebraic semantics for nominal automata (Q2104476) (← links)
- Iterated covariant powerset is not a monad (Q2134821) (← links)
- Lattices do not distribute over powerset (Q2200477) (← links)
- Combining semilattices and semimodules (Q2233397) (← links)
- A new foundation for finitary corecursion and iterative algebras (Q2304521) (← links)
- Trace semantics via determinization (Q2341701) (← links)
- A (co)algebraic theory of succinct automata (Q2423764) (← links)
- A description based on languages of the final non-deterministic automaton (Q2449045) (← links)
- A New Foundation for Finitary Corecursion (Q2811335) (← links)
- Coalgebraic trace semantics via forgetful logics (Q2974794) (← links)
- (Q3121518) (← links)
- Final Semantics for Decorated Traces (Q3178274) (← links)
- (Q4683859) (← links)
- Up-To Techniques for Behavioural Metrics via Fibrations (Q5009431) (← links)
- (Q5020955) (← links)
- (Q5109522) (← links)
- Simplified Coalgebraic Trace Equivalence (Q5256339) (← links)
- A Final Coalgebra for k-regular Sequences (Q5418973) (← links)
- Product Rules and Distributive Laws (Q5739452) (← links)
- (Q5875346) (← links)
- (Q5875398) (← links)
- Preservation and reflection of bisimilarity via invertible steps (Q6091202) (← links)
- Up-to techniques for behavioural metrics via fibrations (Q6190392) (← links)