Pages that link to "Item:Q924726"
From MaRDI portal
The following pages link to Generalizing the Paige-Tarjan algorithm by abstract interpretation (Q924726):
Displaying 7 items.
- Bisimulations for fuzzy automata (Q423147) (← links)
- An abstract interpretation framework for genotype elimination algorithms (Q428908) (← links)
- On the greatest solutions to weakly linear systems of fuzzy relation inequalities and equations (Q622073) (← links)
- Computation of the greatest simulations and bisimulations between fuzzy automata (Q690916) (← links)
- Reduction of fuzzy automata by means of fuzzy quasi-orders (Q726556) (← links)
- Nondeterministic automata: equivalence, bisimulations, and uniform relations (Q903611) (← links)
- Fuzzy relation equations and reduction of fuzzy automata (Q988575) (← links)
