Pages that link to "Item:Q844887"
From MaRDI portal
The following pages link to Axiomatizing the equational theory of regular tree languages (Q844887):
Displaying 5 items.
- A connection between concurrency and language theory (Q265802) (← links)
- Equational theories for automata (Q2074221) (← links)
- Equational Properties of Fixed Point Operations in Cartesian Categories: An Overview (Q2946322) (← links)
- Simulations of Weighted Tree Automata (Q3073652) (← links)
- THE CATEGORY OF SIMULATIONS FOR WEIGHTED TREE AUTOMATA (Q3224952) (← links)
