Matches in SemOpenAlex for { <https://semopenalex.org/work/W2051621669> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W2051621669 abstract "In [Saf88] an exponential determination procedure for Bu¨chi automata was shown, yielding tight bounds for decision procedures of some logics ([EJ88, Saf88, SV89, KT89]). In [SV89] the complexity of determinization and complementation of ω-automata was further investigated, leaving as an open question the complexity of the determinization of a single class of ω-automata. For this class of ω-automata with strong fairness as acceptance condition (Street automata), [SV89] managed to show an exponential complementation procedure, but showed that the blow-up of the translation of these automata to any of the classes known to admit exponential determinization is inherently exponential. This might suggest that the blow-up of the determinization of Street automata is inherently doubly exponential." @default.
- W2051621669 created "2016-06-24" @default.
- W2051621669 creator A5007318528 @default.
- W2051621669 date "1992-01-01" @default.
- W2051621669 modified "2023-09-25" @default.
- W2051621669 title "Exponential determinization for ω-automata with strong-fairness acceptance condition (extended abstract)" @default.
- W2051621669 cites W1504333451 @default.
- W2051621669 cites W1506588809 @default.
- W2051621669 cites W1508780728 @default.
- W2051621669 cites W1546220007 @default.
- W2051621669 cites W1964845238 @default.
- W2051621669 cites W1969912861 @default.
- W2051621669 cites W1976772375 @default.
- W2051621669 cites W1976773489 @default.
- W2051621669 cites W2019881090 @default.
- W2051621669 cites W2033071128 @default.
- W2051621669 cites W2072887965 @default.
- W2051621669 cites W2075664249 @default.
- W2051621669 cites W2091750535 @default.
- W2051621669 cites W2093916942 @default.
- W2051621669 cites W2094912129 @default.
- W2051621669 cites W2125267391 @default.
- W2051621669 cites W2142458264 @default.
- W2051621669 cites W2145121791 @default.
- W2051621669 cites W2156298586 @default.
- W2051621669 cites W2162583406 @default.
- W2051621669 cites W2163151383 @default.
- W2051621669 cites W2165161585 @default.
- W2051621669 cites W2170933628 @default.
- W2051621669 cites W2402038485 @default.
- W2051621669 cites W2182424838 @default.
- W2051621669 doi "https://doi.org/10.1145/129712.129739" @default.
- W2051621669 hasPublicationYear "1992" @default.
- W2051621669 type Work @default.
- W2051621669 sameAs 2051621669 @default.
- W2051621669 citedByCount "56" @default.
- W2051621669 countsByYear W20516216692012 @default.
- W2051621669 countsByYear W20516216692013 @default.
- W2051621669 countsByYear W20516216692014 @default.
- W2051621669 countsByYear W20516216692015 @default.
- W2051621669 countsByYear W20516216692016 @default.
- W2051621669 countsByYear W20516216692017 @default.
- W2051621669 countsByYear W20516216692019 @default.
- W2051621669 countsByYear W20516216692020 @default.
- W2051621669 countsByYear W20516216692021 @default.
- W2051621669 countsByYear W20516216692022 @default.
- W2051621669 crossrefType "proceedings-article" @default.
- W2051621669 hasAuthorship W2051621669A5007318528 @default.
- W2051621669 hasConcept C112505250 @default.
- W2051621669 hasConcept C116248031 @default.
- W2051621669 hasConcept C118615104 @default.
- W2051621669 hasConcept C134306372 @default.
- W2051621669 hasConcept C151376022 @default.
- W2051621669 hasConcept C154945302 @default.
- W2051621669 hasConcept C174327141 @default.
- W2051621669 hasConcept C2777212361 @default.
- W2051621669 hasConcept C33923547 @default.
- W2051621669 hasConcept C41008148 @default.
- W2051621669 hasConcept C80444323 @default.
- W2051621669 hasConcept C92710233 @default.
- W2051621669 hasConceptScore W2051621669C112505250 @default.
- W2051621669 hasConceptScore W2051621669C116248031 @default.
- W2051621669 hasConceptScore W2051621669C118615104 @default.
- W2051621669 hasConceptScore W2051621669C134306372 @default.
- W2051621669 hasConceptScore W2051621669C151376022 @default.
- W2051621669 hasConceptScore W2051621669C154945302 @default.
- W2051621669 hasConceptScore W2051621669C174327141 @default.
- W2051621669 hasConceptScore W2051621669C2777212361 @default.
- W2051621669 hasConceptScore W2051621669C33923547 @default.
- W2051621669 hasConceptScore W2051621669C41008148 @default.
- W2051621669 hasConceptScore W2051621669C80444323 @default.
- W2051621669 hasConceptScore W2051621669C92710233 @default.
- W2051621669 hasLocation W20516216691 @default.
- W2051621669 hasOpenAccess W2051621669 @default.
- W2051621669 hasPrimaryLocation W20516216691 @default.
- W2051621669 hasRelatedWork W1423874546 @default.
- W2051621669 hasRelatedWork W1979390054 @default.
- W2051621669 hasRelatedWork W2029597530 @default.
- W2051621669 hasRelatedWork W2050696740 @default.
- W2051621669 hasRelatedWork W2090058024 @default.
- W2051621669 hasRelatedWork W2133073401 @default.
- W2051621669 hasRelatedWork W2158904250 @default.
- W2051621669 hasRelatedWork W2482365960 @default.
- W2051621669 hasRelatedWork W3147849782 @default.
- W2051621669 hasRelatedWork W3173429172 @default.
- W2051621669 isParatext "false" @default.
- W2051621669 isRetracted "false" @default.
- W2051621669 magId "2051621669" @default.
- W2051621669 workType "article" @default.