Infinite tree automaton
Sign in to savemathematical structure
In the Vinony graph
Vinony's link graph records 9 inbound references to Infinite tree automaton, and connects out to ω-automaton, computer science and mathematical logic.
It sits within the topics Automata (computation) and Trees (data structures).
Vinony links it to 5 Wikipedia language editions.