Pages that link to "Item:Q5096909"
From MaRDI portal
The following pages link to On the minimization problem for ω-automata (Q5096909):
Displaying 7 items.
- A maxmin problem on finite automata (Q1116710) (← links)
- Lower Bounds for Complementation of omega-Automata Via the Full Automata Technique (Q3518271) (← links)
- Lower Bounds for Complementation of ω-Automata Via the Full Automata Technique (Q3591446) (← links)
- A Canonical Form for Weighted Automata and Applications to Approximate Minimization (Q4635848) (← links)
- On the Complexity of Equivalence and Minimisation for Q-weighted Automata (Q4913771) (← links)
- Formal Modeling and Analysis of Timed Systems (Q5897961) (← links)
- Translation of semi-extended regular expressions using derivatives (Q6666801) (← links)