Matches in SemOpenAlex for { <https://semopenalex.org/work/W1277998101> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W1277998101 abstract "There is a well known relationship between alternating automata on finite words and symbolically represented nondeterministic automata on finite words. This relationship is of practical relevance because it allows to combine the advantages of alternating and symbolically represented nondeterministic automata on finite words. However, for infinite words the situation is unclear. Therefore, this work investigates the relationship between alternating omega-automata and symbolically represented nondeterministic omega-automata. Thereby, we identify classes of alternating omega-automata that are as expressive as safety, liveness and deterministic prefix automata, respectively. Moreover, some very simple symbolic nondeterminisation procedures are developed for the classes corresponding to safety and liveness properties." @default.
- W1277998101 created "2016-06-24" @default.
- W1277998101 creator A5081184867 @default.
- W1277998101 creator A5082586418 @default.
- W1277998101 date "2005-01-01" @default.
- W1277998101 modified "2023-10-14" @default.
- W1277998101 title "Relationship between Alternating omega-Automata and Symbolically Represented Nondeterministic omega-Automata" @default.
- W1277998101 cites W1506588809 @default.
- W1277998101 cites W1528291435 @default.
- W1277998101 cites W1570445666 @default.
- W1277998101 cites W1576751546 @default.
- W1277998101 cites W1964845238 @default.
- W1277998101 cites W1996207810 @default.
- W1277998101 cites W2007981995 @default.
- W1277998101 cites W2061438988 @default.
- W1277998101 cites W2080267935 @default.
- W1277998101 cites W2105634893 @default.
- W1277998101 cites W2117189826 @default.
- W1277998101 cites W2119746039 @default.
- W1277998101 cites W2131742729 @default.
- W1277998101 cites W2136099086 @default.
- W1277998101 cites W2138856440 @default.
- W1277998101 cites W2150119568 @default.
- W1277998101 cites W2913383557 @default.
- W1277998101 hasPublicationYear "2005" @default.
- W1277998101 type Work @default.
- W1277998101 sameAs 1277998101 @default.
- W1277998101 citedByCount "1" @default.
- W1277998101 crossrefType "journal-article" @default.
- W1277998101 hasAuthorship W1277998101A5081184867 @default.
- W1277998101 hasAuthorship W1277998101A5082586418 @default.
- W1277998101 hasConcept C112505250 @default.
- W1277998101 hasConcept C114614502 @default.
- W1277998101 hasConcept C116248031 @default.
- W1277998101 hasConcept C118615104 @default.
- W1277998101 hasConcept C121332964 @default.
- W1277998101 hasConcept C15569618 @default.
- W1277998101 hasConcept C158008952 @default.
- W1277998101 hasConcept C174327141 @default.
- W1277998101 hasConcept C176181172 @default.
- W1277998101 hasConcept C2779557605 @default.
- W1277998101 hasConcept C33923547 @default.
- W1277998101 hasConcept C41008148 @default.
- W1277998101 hasConcept C62520636 @default.
- W1277998101 hasConcept C80444323 @default.
- W1277998101 hasConcept C92710233 @default.
- W1277998101 hasConceptScore W1277998101C112505250 @default.
- W1277998101 hasConceptScore W1277998101C114614502 @default.
- W1277998101 hasConceptScore W1277998101C116248031 @default.
- W1277998101 hasConceptScore W1277998101C118615104 @default.
- W1277998101 hasConceptScore W1277998101C121332964 @default.
- W1277998101 hasConceptScore W1277998101C15569618 @default.
- W1277998101 hasConceptScore W1277998101C158008952 @default.
- W1277998101 hasConceptScore W1277998101C174327141 @default.
- W1277998101 hasConceptScore W1277998101C176181172 @default.
- W1277998101 hasConceptScore W1277998101C2779557605 @default.
- W1277998101 hasConceptScore W1277998101C33923547 @default.
- W1277998101 hasConceptScore W1277998101C41008148 @default.
- W1277998101 hasConceptScore W1277998101C62520636 @default.
- W1277998101 hasConceptScore W1277998101C80444323 @default.
- W1277998101 hasConceptScore W1277998101C92710233 @default.
- W1277998101 hasLocation W12779981011 @default.
- W1277998101 hasOpenAccess W1277998101 @default.
- W1277998101 hasPrimaryLocation W12779981011 @default.
- W1277998101 hasRelatedWork W1566206239 @default.
- W1277998101 hasRelatedWork W1819966068 @default.
- W1277998101 hasRelatedWork W1976338306 @default.
- W1277998101 hasRelatedWork W2020497406 @default.
- W1277998101 hasRelatedWork W2059045337 @default.
- W1277998101 hasRelatedWork W2149288970 @default.
- W1277998101 hasRelatedWork W2173305072 @default.
- W1277998101 hasRelatedWork W2269685284 @default.
- W1277998101 hasRelatedWork W2393240999 @default.
- W1277998101 hasRelatedWork W2479722198 @default.
- W1277998101 hasRelatedWork W2784172135 @default.
- W1277998101 hasRelatedWork W2907557140 @default.
- W1277998101 hasRelatedWork W2949233368 @default.
- W1277998101 hasRelatedWork W2970774068 @default.
- W1277998101 hasRelatedWork W3101338104 @default.
- W1277998101 hasRelatedWork W3114817139 @default.
- W1277998101 hasRelatedWork W3168987741 @default.
- W1277998101 hasRelatedWork W3186990754 @default.
- W1277998101 hasRelatedWork W3194530673 @default.
- W1277998101 hasRelatedWork W3209808760 @default.
- W1277998101 isParatext "false" @default.
- W1277998101 isRetracted "false" @default.
- W1277998101 magId "1277998101" @default.
- W1277998101 workType "article" @default.