Matches in SemOpenAlex for { <https://semopenalex.org/work/W2111569703> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W2111569703 abstract "We consider co–Buchi tree automata along with both alternating and generalized paradigms, as a characterization of the class of languages whose complement is accepted by generalized Buchi tree automata. We first prove that for alternating generalized co–Buchi tree automata the simulation theorem does not hold and the generalized acceptance does not add to the expressive power of the model. Then, we show that the emptiness problem for this class is Exptime–complete. For the class of languages whose complement is accepted by deterministic generalized Buchi tree automata, we get better complexity bounds: we give a characterization of this class in terms of generalized co–Buchi tree automata that yields an algorithm for checking the emptiness that takes time linear in the product of the number of states and the number of sets in the acceptance condition. Finally, we compare the classes of languages whose complement is respectively accepted by deterministic and nondeterministic Buchi tree automata with the main classes studied in the literature." @default.
- W2111569703 created "2016-06-24" @default.
- W2111569703 creator A5055415505 @default.
- W2111569703 creator A5078894561 @default.
- W2111569703 date "2005-01-01" @default.
- W2111569703 modified "2023-09-25" @default.
- W2111569703 title "Reasoning About Co–Büchi Tree Automata" @default.
- W2111569703 cites W117768600 @default.
- W2111569703 cites W1504333451 @default.
- W2111569703 cites W1560050980 @default.
- W2111569703 cites W1564580204 @default.
- W2111569703 cites W1988808695 @default.
- W2111569703 cites W1990609140 @default.
- W2111569703 cites W1996207810 @default.
- W2111569703 cites W2007981995 @default.
- W2111569703 cites W2019789808 @default.
- W2111569703 cites W2026134631 @default.
- W2111569703 cites W2033071128 @default.
- W2111569703 cites W2076284895 @default.
- W2111569703 cites W2094912129 @default.
- W2111569703 cites W2137997862 @default.
- W2111569703 cites W2142133061 @default.
- W2111569703 cites W2163151383 @default.
- W2111569703 cites W4241108585 @default.
- W2111569703 cites W4245752840 @default.
- W2111569703 doi "https://doi.org/10.1007/978-3-540-31862-0_37" @default.
- W2111569703 hasPublicationYear "2005" @default.
- W2111569703 type Work @default.
- W2111569703 sameAs 2111569703 @default.
- W2111569703 citedByCount "0" @default.
- W2111569703 crossrefType "book-chapter" @default.
- W2111569703 hasAuthorship W2111569703A5055415505 @default.
- W2111569703 hasAuthorship W2111569703A5078894561 @default.
- W2111569703 hasConcept C104317684 @default.
- W2111569703 hasConcept C112313634 @default.
- W2111569703 hasConcept C112505250 @default.
- W2111569703 hasConcept C113174947 @default.
- W2111569703 hasConcept C114614502 @default.
- W2111569703 hasConcept C116248031 @default.
- W2111569703 hasConcept C118615104 @default.
- W2111569703 hasConcept C127716648 @default.
- W2111569703 hasConcept C165753454 @default.
- W2111569703 hasConcept C176181172 @default.
- W2111569703 hasConcept C185592680 @default.
- W2111569703 hasConcept C188082640 @default.
- W2111569703 hasConcept C194525867 @default.
- W2111569703 hasConcept C2778583254 @default.
- W2111569703 hasConcept C33923547 @default.
- W2111569703 hasConcept C41008148 @default.
- W2111569703 hasConcept C4777664 @default.
- W2111569703 hasConcept C55493867 @default.
- W2111569703 hasConcept C80444323 @default.
- W2111569703 hasConceptScore W2111569703C104317684 @default.
- W2111569703 hasConceptScore W2111569703C112313634 @default.
- W2111569703 hasConceptScore W2111569703C112505250 @default.
- W2111569703 hasConceptScore W2111569703C113174947 @default.
- W2111569703 hasConceptScore W2111569703C114614502 @default.
- W2111569703 hasConceptScore W2111569703C116248031 @default.
- W2111569703 hasConceptScore W2111569703C118615104 @default.
- W2111569703 hasConceptScore W2111569703C127716648 @default.
- W2111569703 hasConceptScore W2111569703C165753454 @default.
- W2111569703 hasConceptScore W2111569703C176181172 @default.
- W2111569703 hasConceptScore W2111569703C185592680 @default.
- W2111569703 hasConceptScore W2111569703C188082640 @default.
- W2111569703 hasConceptScore W2111569703C194525867 @default.
- W2111569703 hasConceptScore W2111569703C2778583254 @default.
- W2111569703 hasConceptScore W2111569703C33923547 @default.
- W2111569703 hasConceptScore W2111569703C41008148 @default.
- W2111569703 hasConceptScore W2111569703C4777664 @default.
- W2111569703 hasConceptScore W2111569703C55493867 @default.
- W2111569703 hasConceptScore W2111569703C80444323 @default.
- W2111569703 hasLocation W21115697031 @default.
- W2111569703 hasOpenAccess W2111569703 @default.
- W2111569703 hasPrimaryLocation W21115697031 @default.
- W2111569703 hasRelatedWork W1582302366 @default.
- W2111569703 hasRelatedWork W1640973035 @default.
- W2111569703 hasRelatedWork W173662904 @default.
- W2111569703 hasRelatedWork W1758011472 @default.
- W2111569703 hasRelatedWork W20126484 @default.
- W2111569703 hasRelatedWork W2242966638 @default.
- W2111569703 hasRelatedWork W2397493558 @default.
- W2111569703 hasRelatedWork W2950742009 @default.
- W2111569703 hasRelatedWork W3021510591 @default.
- W2111569703 hasRelatedWork W66463465 @default.
- W2111569703 isParatext "false" @default.
- W2111569703 isRetracted "false" @default.
- W2111569703 magId "2111569703" @default.
- W2111569703 workType "book-chapter" @default.