Pages that link to "Item:Q1744392"
From MaRDI portal
The following pages link to Coalgebraic minimization of automata by initiality and finality (Q1744392):
Displaying 8 items.
- Coalgebraic constructions of canonical nondeterministic automata (Q890382) (← links)
- On minimal coalgebras (Q934670) (← links)
- Steps and traces (Q1798791) (← links)
- Structured coalgebras and minimal HD-automata for the \(\pi\)-calculus (Q2566037) (← links)
- A Coalgebraic Perspective on Minimization and Determinization (Q2892759) (← links)
- Minimality Notions via Factorization Systems and Examples (Q5043590) (← links)
- Tree automata as algebras: minimisation and determinisation (Q5875346) (← links)
- Minimisation in logical form (Q6612779) (← links)