FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2887249332> ?p ?o ?g. }

• W2887249332 abstract "We consider an extension of tree automata on infinite trees that can check 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 Buchi 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 Buchi condition), and can be used to obtain a decision procedure for an extension of monadic second-order logic with predicates for subtree comparisons." @default.
• W2887249332 created "2018-08-22" @default.
• W2887249332 creator A5004238068 @default.
• W2887249332 creator A5021229064 @default.
• W2887249332 date "2018-01-01" @default.
• W2887249332 modified "2023-09-27" @default.
• W2887249332 title "Projection for Büchi Tree Automata with Constraints Between Siblings" @default.
• W2887249332 cites W1504333451 @default.
• W2887249332 cites W1551851178 @default.
• W2887249332 cites W1569718229 @default.
• W2887249332 cites W160847359 @default.
• W2887249332 cites W1640973035 @default.
• W2887249332 cites W1816620374 @default.
• W2887249332 cites W1997436239 @default.
• W2887249332 cites W2014118070 @default.
• W2887249332 cites W2031592188 @default.
• W2887249332 cites W2035020702 @default.
• W2887249332 cites W2052432706 @default.
• W2887249332 cites W2126978970 @default.
• W2887249332 cites W2130982189 @default.
• W2887249332 cites W2150447589 @default.
• W2887249332 cites W2151788193 @default.
• W2887249332 cites W2530218450 @default.
• W2887249332 doi "https://doi.org/10.1007/978-3-319-98654-8_39" @default.
• W2887249332 hasPublicationYear "2018" @default.
• W2887249332 type Work @default.
• W2887249332 sameAs 2887249332 @default.
• W2887249332 citedByCount "0" @default.
• W2887249332 crossrefType "book-chapter" @default.
• W2887249332 hasAuthorship W2887249332A5004238068 @default.
• W2887249332 hasAuthorship W2887249332A5021229064 @default.
• W2887249332 hasConcept C102993220 @default.
• W2887249332 hasConcept C112505250 @default.
• W2887249332 hasConcept C113174947 @default.
• W2887249332 hasConcept C11413529 @default.
• W2887249332 hasConcept C114614502 @default.
• W2887249332 hasConcept C116248031 @default.
• W2887249332 hasConcept C118615104 @default.
• W2887249332 hasConcept C124656256 @default.
• W2887249332 hasConcept C138885662 @default.
• W2887249332 hasConcept C153269930 @default.
• W2887249332 hasConcept C154945302 @default.
• W2887249332 hasConcept C169896238 @default.
• W2887249332 hasConcept C174327141 @default.
• W2887249332 hasConcept C199360897 @default.
• W2887249332 hasConcept C27206212 @default.
• W2887249332 hasConcept C2777212361 @default.
• W2887249332 hasConcept C2778029271 @default.
• W2887249332 hasConcept C2778583254 @default.
• W2887249332 hasConcept C2779150620 @default.
• W2887249332 hasConcept C33923547 @default.
• W2887249332 hasConcept C41008148 @default.
• W2887249332 hasConcept C57493831 @default.
• W2887249332 hasConcept C80444323 @default.
• W2887249332 hasConcept C92117001 @default.
• W2887249332 hasConceptScore W2887249332C102993220 @default.
• W2887249332 hasConceptScore W2887249332C112505250 @default.
• W2887249332 hasConceptScore W2887249332C113174947 @default.
• W2887249332 hasConceptScore W2887249332C11413529 @default.
• W2887249332 hasConceptScore W2887249332C114614502 @default.
• W2887249332 hasConceptScore W2887249332C116248031 @default.
• W2887249332 hasConceptScore W2887249332C118615104 @default.
• W2887249332 hasConceptScore W2887249332C124656256 @default.
• W2887249332 hasConceptScore W2887249332C138885662 @default.
• W2887249332 hasConceptScore W2887249332C153269930 @default.
• W2887249332 hasConceptScore W2887249332C154945302 @default.
• W2887249332 hasConceptScore W2887249332C169896238 @default.
• W2887249332 hasConceptScore W2887249332C174327141 @default.
• W2887249332 hasConceptScore W2887249332C199360897 @default.
• W2887249332 hasConceptScore W2887249332C27206212 @default.
• W2887249332 hasConceptScore W2887249332C2777212361 @default.
• W2887249332 hasConceptScore W2887249332C2778029271 @default.
• W2887249332 hasConceptScore W2887249332C2778583254 @default.
• W2887249332 hasConceptScore W2887249332C2779150620 @default.
• W2887249332 hasConceptScore W2887249332C33923547 @default.
• W2887249332 hasConceptScore W2887249332C41008148 @default.
• W2887249332 hasConceptScore W2887249332C57493831 @default.
• W2887249332 hasConceptScore W2887249332C80444323 @default.
• W2887249332 hasConceptScore W2887249332C92117001 @default.
• W2887249332 hasLocation W28872493321 @default.
• W2887249332 hasOpenAccess W2887249332 @default.
• W2887249332 hasPrimaryLocation W28872493321 @default.
• W2887249332 hasRelatedWork W123210929 @default.
• W2887249332 hasRelatedWork W1522049580 @default.
• W2887249332 hasRelatedWork W1541872673 @default.
• W2887249332 hasRelatedWork W1684746593 @default.
• W2887249332 hasRelatedWork W1878133323 @default.
• W2887249332 hasRelatedWork W1927487601 @default.
• W2887249332 hasRelatedWork W1997436239 @default.
• W2887249332 hasRelatedWork W2020861083 @default.
• W2887249332 hasRelatedWork W2095175072 @default.
• W2887249332 hasRelatedWork W2108987498 @default.
• W2887249332 hasRelatedWork W2111569703 @default.
• W2887249332 hasRelatedWork W2158185919 @default.
• W2887249332 hasRelatedWork W2160831798 @default.
• W2887249332 hasRelatedWork W220767771 @default.
• W2887249332 hasRelatedWork W2271311908 @default.
• W2887249332 hasRelatedWork W2729459578 @default.
• W2887249332 hasRelatedWork W2885898631 @default.
• W2887249332 hasRelatedWork W3030301544 @default.

• next