Abstract | ||
---|---|---|
We show that it is decidable whether a given a regular tree language belongs to the class ${\bf \Delta^0_2}$ of the Borel hierarchy, or equivalently whether the Wadge degree of a regular tree language is countable. |
Year | DOI | Venue |
---|---|---|
2014 | 10.1007/978-3-319-08019-2_17 | CiE |
DocType | Volume | Citations |
Journal | abs/1403.3502 | 1 |
PageRank | References | Authors |
0.35 | 12 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Alessandro Facchini | 1 | 35 | 9.47 |
Henryk Michalewski | 2 | 40 | 12.07 |