The following pages link to (Q3998008):
Displaying 10 items.
- Loops and overloops for tree-walking automata (Q442148) (← links)
- Automata and logics over finitely varying functions (Q636272) (← links)
- Semantics of infinite tree logic programming (Q1090469) (← links)
- Generalized automata on infinite trees and Muller-McNaughton's theorem (Q1178688) (← links)
- Fixed point characterization of infinite behavior of finite-state systems (Q1389678) (← links)
- Decision Problems for Finite Automata over Infinite Algebraic Structures (Q2830202) (← links)
- Prolog infinite trees and automata (Q3991295) (← links)
- (Q4695499) (← links)
- An Automata Theoretic Approach to Rational Tree Relations (Q5448669) (← links)
- Logic and Branching Automata (Q5895230) (← links)