scientific article; zbMATH DE number 475420
From MaRDI portal
Publication:4273667
zbMath0798.68109MaRDI QIDQ4273667
Publication date: 31 October 1994
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Kleene's theorem\(\omega\)-tree automata\(\omega\)-rational setsBüchi's tree automatatop-down automata
Related Items