Pages that link to "Item:Q3503087"
From MaRDI portal
The following pages link to BISIMULATION MINIMIZATION OF TREE AUTOMATA (Q3503087):
Displayed 5 items.
- Backward and forward bisimulation minimization of tree automata (Q840778) (← links)
- MINIMIZATION OF PLANAR DIRECTED ACYCLIC GRAPH ALGEBRAS (Q2856022) (← links)
- A Congruence-Based Perspective on Finite Tree Automata (Q5025071) (← links)
- Tree Process Calculus (Q5415625) (← links)
- (Q5875346) (← links)