Matches in SemOpenAlex for { <https://semopenalex.org/work/W3092431169> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W3092431169 abstract "We consider an extension of tree automata on infinite trees that can use equality and disequality constraints between direct subtrees of a node. Recently, it has been shown that the emptiness problem for these kind of automata with a parity acceptance condition is decidable and that the corresponding class of languages is closed under Boolean operations. In this paper, we show that the class of languages recognizable by such tree automata with a Büchi acceptance condition is closed under projection. This construction yields a new algorithm for the emptiness problem, implies that a regular tree is accepted if the language is non-empty (for the Büchi condition), and can be used to obtain a decision procedure for an extension of monadic second-order logic with predicates for subtree comparisons." @default.
- W3092431169 created "2020-10-15" @default.
- W3092431169 creator A5004238068 @default.
- W3092431169 creator A5021229064 @default.
- W3092431169 date "2020-09-01" @default.
- W3092431169 modified "2023-09-23" @default.
- W3092431169 title "Projection for Büchi Tree Automata with Constraints between Siblings" @default.
- W3092431169 cites W1569718229 @default.
- W3092431169 cites W1816620374 @default.
- W3092431169 cites W1997436239 @default.
- W3092431169 cites W2035020702 @default.
- W3092431169 cites W2050073538 @default.
- W3092431169 cites W2076284895 @default.
- W3092431169 cites W2130982189 @default.
- W3092431169 cites W2151788193 @default.
- W3092431169 cites W2530218450 @default.
- W3092431169 doi "https://doi.org/10.1142/s012905412041004x" @default.
- W3092431169 hasPublicationYear "2020" @default.
- W3092431169 type Work @default.
- W3092431169 sameAs 3092431169 @default.
- W3092431169 citedByCount "0" @default.
- W3092431169 crossrefType "journal-article" @default.
- W3092431169 hasAuthorship W3092431169A5004238068 @default.
- W3092431169 hasAuthorship W3092431169A5021229064 @default.
- W3092431169 hasConcept C112505250 @default.
- W3092431169 hasConcept C113174947 @default.
- W3092431169 hasConcept C114614502 @default.
- W3092431169 hasConcept C118615104 @default.
- W3092431169 hasConcept C138885662 @default.
- W3092431169 hasConcept C153269930 @default.
- W3092431169 hasConcept C154945302 @default.
- W3092431169 hasConcept C199360897 @default.
- W3092431169 hasConcept C27206212 @default.
- W3092431169 hasConcept C2777212361 @default.
- W3092431169 hasConcept C2778029271 @default.
- W3092431169 hasConcept C2778583254 @default.
- W3092431169 hasConcept C2779150620 @default.
- W3092431169 hasConcept C33923547 @default.
- W3092431169 hasConcept C41008148 @default.
- W3092431169 hasConcept C80444323 @default.
- W3092431169 hasConceptScore W3092431169C112505250 @default.
- W3092431169 hasConceptScore W3092431169C113174947 @default.
- W3092431169 hasConceptScore W3092431169C114614502 @default.
- W3092431169 hasConceptScore W3092431169C118615104 @default.
- W3092431169 hasConceptScore W3092431169C138885662 @default.
- W3092431169 hasConceptScore W3092431169C153269930 @default.
- W3092431169 hasConceptScore W3092431169C154945302 @default.
- W3092431169 hasConceptScore W3092431169C199360897 @default.
- W3092431169 hasConceptScore W3092431169C27206212 @default.
- W3092431169 hasConceptScore W3092431169C2777212361 @default.
- W3092431169 hasConceptScore W3092431169C2778029271 @default.
- W3092431169 hasConceptScore W3092431169C2778583254 @default.
- W3092431169 hasConceptScore W3092431169C2779150620 @default.
- W3092431169 hasConceptScore W3092431169C33923547 @default.
- W3092431169 hasConceptScore W3092431169C41008148 @default.
- W3092431169 hasConceptScore W3092431169C80444323 @default.
- W3092431169 hasLocation W30924311691 @default.
- W3092431169 hasOpenAccess W3092431169 @default.
- W3092431169 hasPrimaryLocation W30924311691 @default.
- W3092431169 hasRelatedWork W10842229 @default.
- W3092431169 hasRelatedWork W1205211 @default.
- W3092431169 hasRelatedWork W12087616 @default.
- W3092431169 hasRelatedWork W2123346 @default.
- W3092431169 hasRelatedWork W2694096 @default.
- W3092431169 hasRelatedWork W403955 @default.
- W3092431169 hasRelatedWork W5863571 @default.
- W3092431169 hasRelatedWork W6335828 @default.
- W3092431169 hasRelatedWork W6748139 @default.
- W3092431169 hasRelatedWork W11017067 @default.
- W3092431169 isParatext "false" @default.
- W3092431169 isRetracted "false" @default.
- W3092431169 magId "3092431169" @default.
- W3092431169 workType "article" @default.