Pages that link to "Item:Q1959657"
From MaRDI portal
The following pages link to Recognition of directed acyclic graphs by spanning tree automata (Q1959657):
Displaying 4 items.
- Closure properties and decision problems of dag automata (Q1041757) (← links)
- Recognition of graphs by automata (Q1349690) (← links)
- A Practical Algorithm for the Uniform Membership Problem of Labeled Multidigraphs of Tree-Width 2 for Spanning Tree Automata (Q2830211) (← links)
- A Practical Algorithm for the Uniform Membership Problem of Labeled Multidigraphs of Tree-Width 2 for Spanning Tree Automata (Q4605514) (← links)