Pages that link to "Item:Q3503087"
From MaRDI portal
The following pages link to BISIMULATION MINIMIZATION OF TREE AUTOMATA (Q3503087):
Displaying 9 items.
- Backward and forward bisimulation minimization of tree automata (Q840778) (← links)
- Minimization of planar directed acyclic graph algebras (Q2856022) (← links)
- Backward and Forward Bisimulation Minimisation of Tree Automata (Q3503899) (← links)
- ON TRANSITION MINIMALITY OF BIDETERMINISTIC AUTOMATA (Q3538856) (← links)
- Some Minimality Results on Biresidual and Biseparable Automata (Q3564897) (← links)
- A Congruence-Based Perspective on Finite Tree Automata (Q5025071) (← links)
- Tree Process Calculus (Q5415625) (← links)
- On Transition Minimality of Bideterministic Automata (Q5428251) (← links)
- Tree automata as algebras: minimisation and determinisation (Q5875346) (← links)