Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 228,397,757 papers from all fields of science
Search
Sign In
Create Free Account
Infinite tree automaton
Known as:
Rabin's tree theorem
In computer science and mathematical logic, an infinite tree automaton is a state machine that deals with infinite tree structures. It can be viewed…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
8 relations
Automata theory
Büchi automaton
Computer science
Muller automaton
Expand
Search for papers about Infinite tree automaton
Search papers
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE