The following pages link to (Q3823145):
Displaying 9 items.
- Automata on infinite objects and their applications to logic and programming (Q582913) (← links)
- The greatest fixed-points and rational omega-tree languages (Q1082091) (← links)
- On automata on infinite trees (Q1186604) (← links)
- Regular Growth Automata: Properties of a Class of Finitely Induced Infinite Machines (Q3172836) (← links)
- (Q3975166) (← links)
- (Q3998008) (← links)
- PUSHDOWN AUTOMATA ON INFINITE TREES AND NONDETERMINISTIC CONTEXT-FREE PROGRAMS (Q4020278) (← links)
- (Q4510804) (← links)
- (Q4695499) (← links)