Matches in SemOpenAlex for { <https://semopenalex.org/work/W2134068041> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W2134068041 endingPage "183" @default.
- W2134068041 startingPage "168" @default.
- W2134068041 abstract "This paper presents constructions for translating alternating automata into nondeterministic nested-word automata (NWAs). With these alternation-elimination constructions at hand, we straightforwardly obtain translations from various temporal logics over nested words from the literature like CaRet and μNWTL, and extensions thereof to NWAs, which correct, simplify, improve, and generalize the previously given translations. Our alternation-elimination constructions are instances of an alternation-elimination scheme for automata that operate over the tree unfolding of graphs. We obtain these instances by providing constructions for complementing restricted classes of automata with respect to the graphs given by nested words. The scheme generalizes our alternation-elimination scheme for word automata and the presented complementation constructions generalize existing complementation constructions for word automata." @default.
- W2134068041 created "2016-06-24" @default.
- W2134068041 creator A5016636619 @default.
- W2134068041 creator A5035345743 @default.
- W2134068041 date "2011-01-01" @default.
- W2134068041 modified "2023-09-26" @default.
- W2134068041 title "Alternation Elimination for Automata over Nested Words" @default.
- W2134068041 cites W1503627878 @default.
- W2134068041 cites W1545924555 @default.
- W2134068041 cites W1556566737 @default.
- W2134068041 cites W1564539225 @default.
- W2134068041 cites W1566206239 @default.
- W2134068041 cites W1810796502 @default.
- W2134068041 cites W1977193848 @default.
- W2134068041 cites W1978405212 @default.
- W2134068041 cites W1996207810 @default.
- W2134068041 cites W2033144652 @default.
- W2134068041 cites W2050073538 @default.
- W2134068041 cites W2059045337 @default.
- W2134068041 cites W2087756506 @default.
- W2134068041 cites W2118416409 @default.
- W2134068041 cites W2124876285 @default.
- W2134068041 cites W2131886132 @default.
- W2134068041 cites W2151670874 @default.
- W2134068041 cites W2155756511 @default.
- W2134068041 cites W2806619258 @default.
- W2134068041 doi "https://doi.org/10.1007/978-3-642-19805-2_12" @default.
- W2134068041 hasPublicationYear "2011" @default.
- W2134068041 type Work @default.
- W2134068041 sameAs 2134068041 @default.
- W2134068041 citedByCount "5" @default.
- W2134068041 countsByYear W21340680412014 @default.
- W2134068041 countsByYear W21340680412017 @default.
- W2134068041 crossrefType "book-chapter" @default.
- W2134068041 hasAuthorship W2134068041A5016636619 @default.
- W2134068041 hasAuthorship W2134068041A5035345743 @default.
- W2134068041 hasBestOaLocation W21340680411 @default.
- W2134068041 hasConcept C112505250 @default.
- W2134068041 hasConcept C116248031 @default.
- W2134068041 hasConcept C118615104 @default.
- W2134068041 hasConcept C134306372 @default.
- W2134068041 hasConcept C138885662 @default.
- W2134068041 hasConcept C174327141 @default.
- W2134068041 hasConcept C176181172 @default.
- W2134068041 hasConcept C2524010 @default.
- W2134068041 hasConcept C26826806 @default.
- W2134068041 hasConcept C33923547 @default.
- W2134068041 hasConcept C41008148 @default.
- W2134068041 hasConcept C41895202 @default.
- W2134068041 hasConcept C77618280 @default.
- W2134068041 hasConcept C80444323 @default.
- W2134068041 hasConcept C90805587 @default.
- W2134068041 hasConcept C92117001 @default.
- W2134068041 hasConceptScore W2134068041C112505250 @default.
- W2134068041 hasConceptScore W2134068041C116248031 @default.
- W2134068041 hasConceptScore W2134068041C118615104 @default.
- W2134068041 hasConceptScore W2134068041C134306372 @default.
- W2134068041 hasConceptScore W2134068041C138885662 @default.
- W2134068041 hasConceptScore W2134068041C174327141 @default.
- W2134068041 hasConceptScore W2134068041C176181172 @default.
- W2134068041 hasConceptScore W2134068041C2524010 @default.
- W2134068041 hasConceptScore W2134068041C26826806 @default.
- W2134068041 hasConceptScore W2134068041C33923547 @default.
- W2134068041 hasConceptScore W2134068041C41008148 @default.
- W2134068041 hasConceptScore W2134068041C41895202 @default.
- W2134068041 hasConceptScore W2134068041C77618280 @default.
- W2134068041 hasConceptScore W2134068041C80444323 @default.
- W2134068041 hasConceptScore W2134068041C90805587 @default.
- W2134068041 hasConceptScore W2134068041C92117001 @default.
- W2134068041 hasLocation W21340680411 @default.
- W2134068041 hasLocation W21340680412 @default.
- W2134068041 hasOpenAccess W2134068041 @default.
- W2134068041 hasPrimaryLocation W21340680411 @default.
- W2134068041 hasRelatedWork W1490764140 @default.
- W2134068041 hasRelatedWork W1491652234 @default.
- W2134068041 hasRelatedWork W1566206239 @default.
- W2134068041 hasRelatedWork W1685060813 @default.
- W2134068041 hasRelatedWork W2085563320 @default.
- W2134068041 hasRelatedWork W2100491703 @default.
- W2134068041 hasRelatedWork W2134068041 @default.
- W2134068041 hasRelatedWork W2395463237 @default.
- W2134068041 hasRelatedWork W3037545250 @default.
- W2134068041 hasRelatedWork W2182424838 @default.
- W2134068041 isParatext "false" @default.
- W2134068041 isRetracted "false" @default.
- W2134068041 magId "2134068041" @default.
- W2134068041 workType "book-chapter" @default.