Pages that link to "Item:Q2892759"
From MaRDI portal
The following pages link to A Coalgebraic Perspective on Minimization and Determinization (Q2892759):
Displaying 28 items.
- Coinductive predicates and final sequences in a fibration (Q265811) (← links)
- Subsequential transducers: a coalgebraic perspective (Q618167) (← links)
- A coalgebraic approach to non-determinism: applications to multilattices (Q621576) (← links)
- Quantitative simulations by matrices (Q729815) (← links)
- Coalgebraic constructions of canonical nondeterministic automata (Q890382) (← links)
- A coalgebraic semantics for causality in Petri nets (Q890619) (← links)
- On minimal coalgebras (Q934670) (← links)
- Coalgebraic minimization of automata by initiality and finality (Q1744392) (← links)
- Languages and models for hybrid automata: a coalgebraic perspective (Q1786567) (← links)
- A generalized partition refinement algorithm, instantiated to language equivalence checking for weighted automata (Q1797781) (← links)
- Predicate and relation liftings for coalgebras with side effects: an application in coalgebraic modal logic (Q2104473) (← links)
- Revisiting causality, coalgebraically (Q2257982) (← links)
- A (co)algebraic theory of succinct automata (Q2423764) (← links)
- A description based on languages of the final non-deterministic automaton (Q2449045) (← links)
- Generalizing the powerset construction, coalgebraically (Q2908856) (← links)
- Coinduction-based solution for minimization of Kripke structures (Q2926854) (← links)
- Coalgebraic trace semantics via forgetful logics (Q2974794) (← links)
- (Q4029593) (← links)
- Coinductive predicates and final sequences in a fibration (Q4606703) (← links)
- (Q4637688) (← links)
- A congruence-based perspective on automata minimization algorithms (Q5092441) (← links)
- Bisimilarity of Diagrams (Q5098713) (← links)
- (Q5111267) (← links)
- A coalgebraic view on reachability (Q5218979) (← links)
- Algebra-coalgebra duality in brzozowski's minimization algorithm (Q5410330) (← links)
- Tree automata as algebras: minimisation and determinisation (Q5875346) (← links)
- Minimisation in logical form (Q6612779) (← links)
- Canonical automata via distributive law homomorphisms (Q6653763) (← links)
