Matches in SemOpenAlex for { <https://semopenalex.org/work/W2073806355> ?p ?o ?g. }
Showing items 1 to 50 of
50
with 100 items per page.
- W2073806355 abstract "The third author noticed in his 1992 PhD Thesis [Sim92] that every regular tree language of infinite trees is in a class $Game (D_n({bfSigma}^0_2))$ for some natural number $ngeq 1$, where $Game$ is the game quantifier. We first give a detailed exposition of this result. Next, using an embedding of the Wadge hierarchy of non self-dual Borel subsets of the Cantor space $2^omega$ into the class ${bfDelta}^1_2$, and the notions of Wadge degree and Veblen function, we argue that this upper bound on the topological complexity of regular tree languages is much better than the usual ${bfDelta}^1_2$." @default.
- W2073806355 created "2016-06-24" @default.
- W2073806355 creator A5012647463 @default.
- W2073806355 creator A5057731005 @default.
- W2073806355 creator A5063083696 @default.
- W2073806355 date "2015-01-01" @default.
- W2073806355 modified "2023-09-25" @default.
- W2073806355 title "An Upper Bound on the Complexity of Recognizable Tree Languages" @default.
- W2073806355 hasPublicationYear "2015" @default.
- W2073806355 type Work @default.
- W2073806355 sameAs 2073806355 @default.
- W2073806355 citedByCount "0" @default.
- W2073806355 crossrefType "journal-article" @default.
- W2073806355 hasAuthorship W2073806355A5012647463 @default.
- W2073806355 hasAuthorship W2073806355A5057731005 @default.
- W2073806355 hasAuthorship W2073806355A5063083696 @default.
- W2073806355 hasBestOaLocation W20738063551 @default.
- W2073806355 hasConcept C113174947 @default.
- W2073806355 hasConcept C114614502 @default.
- W2073806355 hasConcept C134306372 @default.
- W2073806355 hasConcept C33923547 @default.
- W2073806355 hasConcept C41008148 @default.
- W2073806355 hasConcept C77553402 @default.
- W2073806355 hasConcept C80444323 @default.
- W2073806355 hasConceptScore W2073806355C113174947 @default.
- W2073806355 hasConceptScore W2073806355C114614502 @default.
- W2073806355 hasConceptScore W2073806355C134306372 @default.
- W2073806355 hasConceptScore W2073806355C33923547 @default.
- W2073806355 hasConceptScore W2073806355C41008148 @default.
- W2073806355 hasConceptScore W2073806355C77553402 @default.
- W2073806355 hasConceptScore W2073806355C80444323 @default.
- W2073806355 hasLocation W20738063551 @default.
- W2073806355 hasLocation W20738063552 @default.
- W2073806355 hasLocation W20738063553 @default.
- W2073806355 hasOpenAccess W2073806355 @default.
- W2073806355 hasPrimaryLocation W20738063551 @default.
- W2073806355 hasRelatedWork W1990650528 @default.
- W2073806355 hasRelatedWork W2038812594 @default.
- W2073806355 hasRelatedWork W2051946902 @default.
- W2073806355 hasRelatedWork W2091298178 @default.
- W2073806355 hasRelatedWork W2359118052 @default.
- W2073806355 hasRelatedWork W2374829073 @default.
- W2073806355 hasRelatedWork W2613624679 @default.
- W2073806355 hasRelatedWork W2625223621 @default.
- W2073806355 hasRelatedWork W3213470095 @default.
- W2073806355 hasRelatedWork W1853327529 @default.
- W2073806355 isParatext "false" @default.
- W2073806355 isRetracted "false" @default.
- W2073806355 magId "2073806355" @default.
- W2073806355 workType "article" @default.