Matches in SemOpenAlex for { <https://semopenalex.org/work/W1480402145> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W1480402145 endingPage "446" @default.
- W1480402145 startingPage "434" @default.
- W1480402145 abstract "In this paper we provide an automaton-based solution to the decision problem for a large set of monadic second-order theories of deterministic tree structures. We achieve it in two steps: first, we reduce the considered problem to the problem of determining, for any Rabin tree automaton, whether it accepts a given tree; then, we exploit a suitable notion of tree equivalence to reduce (a number of instances of ) the latter problem to the decidable case of regular trees. We prove that such a reduction works for a large class of trees, that we call residually regular trees. We conclude the paper with a short discussion of related work." @default.
- W1480402145 created "2016-06-24" @default.
- W1480402145 creator A5015702335 @default.
- W1480402145 creator A5048011945 @default.
- W1480402145 date "2004-01-01" @default.
- W1480402145 modified "2023-10-18" @default.
- W1480402145 title "Decidability of MSO Theories of Tree Structures" @default.
- W1480402145 cites W1480402145 @default.
- W1480402145 cites W1518696294 @default.
- W1480402145 cites W1576712931 @default.
- W1480402145 cites W1585989904 @default.
- W1480402145 cites W1630483081 @default.
- W1480402145 cites W1816620374 @default.
- W1480402145 cites W1963646041 @default.
- W1480402145 cites W1971416129 @default.
- W1480402145 cites W1993698725 @default.
- W1480402145 cites W2008735821 @default.
- W1480402145 cites W2067464091 @default.
- W1480402145 cites W2067672151 @default.
- W1480402145 cites W2094403718 @default.
- W1480402145 cites W2110758029 @default.
- W1480402145 cites W2118675357 @default.
- W1480402145 cites W2131663704 @default.
- W1480402145 cites W2132295002 @default.
- W1480402145 cites W2171084562 @default.
- W1480402145 cites W4240244556 @default.
- W1480402145 doi "https://doi.org/10.1007/978-3-540-30538-5_36" @default.
- W1480402145 hasPublicationYear "2004" @default.
- W1480402145 type Work @default.
- W1480402145 sameAs 1480402145 @default.
- W1480402145 citedByCount "4" @default.
- W1480402145 crossrefType "book-chapter" @default.
- W1480402145 hasAuthorship W1480402145A5015702335 @default.
- W1480402145 hasAuthorship W1480402145A5048011945 @default.
- W1480402145 hasBestOaLocation W14804021452 @default.
- W1480402145 hasConcept C111335779 @default.
- W1480402145 hasConcept C112505250 @default.
- W1480402145 hasConcept C113174947 @default.
- W1480402145 hasConcept C11413529 @default.
- W1480402145 hasConcept C114614502 @default.
- W1480402145 hasConcept C118615104 @default.
- W1480402145 hasConcept C153269930 @default.
- W1480402145 hasConcept C154945302 @default.
- W1480402145 hasConcept C177264268 @default.
- W1480402145 hasConcept C199360897 @default.
- W1480402145 hasConcept C2524010 @default.
- W1480402145 hasConcept C2777212361 @default.
- W1480402145 hasConcept C2778583254 @default.
- W1480402145 hasConcept C2780069185 @default.
- W1480402145 hasConcept C33923547 @default.
- W1480402145 hasConcept C41008148 @default.
- W1480402145 hasConcept C80444323 @default.
- W1480402145 hasConceptScore W1480402145C111335779 @default.
- W1480402145 hasConceptScore W1480402145C112505250 @default.
- W1480402145 hasConceptScore W1480402145C113174947 @default.
- W1480402145 hasConceptScore W1480402145C11413529 @default.
- W1480402145 hasConceptScore W1480402145C114614502 @default.
- W1480402145 hasConceptScore W1480402145C118615104 @default.
- W1480402145 hasConceptScore W1480402145C153269930 @default.
- W1480402145 hasConceptScore W1480402145C154945302 @default.
- W1480402145 hasConceptScore W1480402145C177264268 @default.
- W1480402145 hasConceptScore W1480402145C199360897 @default.
- W1480402145 hasConceptScore W1480402145C2524010 @default.
- W1480402145 hasConceptScore W1480402145C2777212361 @default.
- W1480402145 hasConceptScore W1480402145C2778583254 @default.
- W1480402145 hasConceptScore W1480402145C2780069185 @default.
- W1480402145 hasConceptScore W1480402145C33923547 @default.
- W1480402145 hasConceptScore W1480402145C41008148 @default.
- W1480402145 hasConceptScore W1480402145C80444323 @default.
- W1480402145 hasLocation W14804021451 @default.
- W1480402145 hasLocation W14804021452 @default.
- W1480402145 hasLocation W14804021453 @default.
- W1480402145 hasLocation W14804021454 @default.
- W1480402145 hasOpenAccess W1480402145 @default.
- W1480402145 hasPrimaryLocation W14804021451 @default.
- W1480402145 hasRelatedWork W1540015096 @default.
- W1480402145 hasRelatedWork W1582302366 @default.
- W1480402145 hasRelatedWork W1626184434 @default.
- W1480402145 hasRelatedWork W2014118070 @default.
- W1480402145 hasRelatedWork W2021535402 @default.
- W1480402145 hasRelatedWork W2078381694 @default.
- W1480402145 hasRelatedWork W2925957576 @default.
- W1480402145 hasRelatedWork W4285164036 @default.
- W1480402145 hasRelatedWork W4293399599 @default.
- W1480402145 hasRelatedWork W4319653765 @default.
- W1480402145 isParatext "false" @default.
- W1480402145 isRetracted "false" @default.
- W1480402145 magId "1480402145" @default.
- W1480402145 workType "book-chapter" @default.