Pages that link to "Item:Q4913772"
From MaRDI portal
The following pages link to Generalizing determinization from automata to coalgebras (Q4913772):
Displaying 41 items.
- A coalgebraic approach to non-determinism: applications to multilattices (Q621576) (← links)
- Coalgebraic constructions of canonical nondeterministic automata (Q890382) (← links)
- Behavioural equivalences for coalgebras with unobservable moves (Q890618) (← links)
- Coalgebraic minimization of automata by initiality and finality (Q1744392) (← 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)
- Structured coalgebras and minimal HD-automata for the \(\pi\)-calculus (Q2566037) (← links)
- A New Foundation for Finitary Corecursion (Q2811335) (← links)
- A Coalgebraic Perspective on Minimization and Determinization (Q2892759) (← links)
- Stream Automata Are Coalgebras (Q2914678) (← links)
- Coalgebraic trace semantics via forgetful logics (Q2974794) (← links)
- (Q3121518) (← links)
- Final Semantics for Decorated Traces (Q3178274) (← links)
- Generic Partition Refinement Algorithms for Coalgebras and an Instantiation to Weighted Automata (Q3190170) (← links)
- Coalgebraic Automata Theory: Basic Results (Q3623006) (← links)
- (Q4536393) (← 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)
- Tree automata as algebras: minimisation and determinisation (Q5875346) (← links)
- (Q5875398) (← links)
- Up-to techniques for behavioural metrics via fibrations (Q6190392) (← links)
- Sum and tensor of quantitative effects (Q6635519) (← links)
- Graded monads and behavioural equivalence games (Q6649498) (← links)
- Canonical automata via distributive law homomorphisms (Q6653763) (← links)
