Matches in SemOpenAlex for { <https://semopenalex.org/work/W4289761305> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W4289761305 abstract "We present a unified translation of LTL formulas into deterministic Rabin automata, limit-deterministic Büchi automata, and nondeterministic Büchi automata. The translations yield automata of asymptotically optimal size (double or single exponential, respectively). All three translations are derived from one single Master Theorem of purely logical nature. The Master Theorem decomposes the language of a formula into a positive boolean combination of languages that can be translated into ω-automata by elementary means. In particular, Safra's, ranking, and breakpoint constructions used in other translations are not needed." @default.
- W4289761305 created "2022-08-04" @default.
- W4289761305 creator A5026672117 @default.
- W4289761305 creator A5074485601 @default.
- W4289761305 creator A5090378914 @default.
- W4289761305 date "2018-07-09" @default.
- W4289761305 modified "2023-10-18" @default.
- W4289761305 title "One Theorem to Rule Them All" @default.
- W4289761305 cites W104640233 @default.
- W4289761305 cites W1492929237 @default.
- W4289761305 cites W1507116188 @default.
- W4289761305 cites W1521991348 @default.
- W4289761305 cites W1528149868 @default.
- W4289761305 cites W1754034137 @default.
- W4289761305 cites W1909185322 @default.
- W4289761305 cites W1924007886 @default.
- W4289761305 cites W1972203711 @default.
- W4289761305 cites W2023808162 @default.
- W4289761305 cites W2031592188 @default.
- W4289761305 cites W2089003125 @default.
- W4289761305 cites W2094985106 @default.
- W4289761305 cites W2107209406 @default.
- W4289761305 cites W2146706022 @default.
- W4289761305 cites W2156429182 @default.
- W4289761305 cites W2165161585 @default.
- W4289761305 cites W2165726630 @default.
- W4289761305 cites W2293285880 @default.
- W4289761305 cites W2346095506 @default.
- W4289761305 cites W2405166594 @default.
- W4289761305 cites W2487186542 @default.
- W4289761305 cites W2522043470 @default.
- W4289761305 cites W2557837928 @default.
- W4289761305 cites W2582709237 @default.
- W4289761305 cites W2590126170 @default.
- W4289761305 cites W2767756541 @default.
- W4289761305 cites W3122348209 @default.
- W4289761305 cites W4235354203 @default.
- W4289761305 cites W4289761305 @default.
- W4289761305 cites W986424706 @default.
- W4289761305 doi "https://doi.org/10.1145/3209108.3209161" @default.
- W4289761305 hasPublicationYear "2018" @default.
- W4289761305 type Work @default.
- W4289761305 citedByCount "19" @default.
- W4289761305 countsByYear W42897613052018 @default.
- W4289761305 countsByYear W42897613052019 @default.
- W4289761305 countsByYear W42897613052020 @default.
- W4289761305 countsByYear W42897613052021 @default.
- W4289761305 countsByYear W42897613052022 @default.
- W4289761305 countsByYear W42897613052023 @default.
- W4289761305 crossrefType "proceedings-article" @default.
- W4289761305 hasAuthorship W4289761305A5026672117 @default.
- W4289761305 hasAuthorship W4289761305A5074485601 @default.
- W4289761305 hasAuthorship W4289761305A5090378914 @default.
- W4289761305 hasBestOaLocation W42897613052 @default.
- W4289761305 hasConcept C112505250 @default.
- W4289761305 hasConcept C116248031 @default.
- W4289761305 hasConcept C118615104 @default.
- W4289761305 hasConcept C134306372 @default.
- W4289761305 hasConcept C151201525 @default.
- W4289761305 hasConcept C165753454 @default.
- W4289761305 hasConcept C174327141 @default.
- W4289761305 hasConcept C176181172 @default.
- W4289761305 hasConcept C194525867 @default.
- W4289761305 hasConcept C33923547 @default.
- W4289761305 hasConcept C41008148 @default.
- W4289761305 hasConcept C80444323 @default.
- W4289761305 hasConceptScore W4289761305C112505250 @default.
- W4289761305 hasConceptScore W4289761305C116248031 @default.
- W4289761305 hasConceptScore W4289761305C118615104 @default.
- W4289761305 hasConceptScore W4289761305C134306372 @default.
- W4289761305 hasConceptScore W4289761305C151201525 @default.
- W4289761305 hasConceptScore W4289761305C165753454 @default.
- W4289761305 hasConceptScore W4289761305C174327141 @default.
- W4289761305 hasConceptScore W4289761305C176181172 @default.
- W4289761305 hasConceptScore W4289761305C194525867 @default.
- W4289761305 hasConceptScore W4289761305C33923547 @default.
- W4289761305 hasConceptScore W4289761305C41008148 @default.
- W4289761305 hasConceptScore W4289761305C80444323 @default.
- W4289761305 hasLocation W42897613051 @default.
- W4289761305 hasLocation W42897613052 @default.
- W4289761305 hasLocation W42897613053 @default.
- W4289761305 hasOpenAccess W4289761305 @default.
- W4289761305 hasPrimaryLocation W42897613051 @default.
- W4289761305 hasRelatedWork W1522966647 @default.
- W4289761305 hasRelatedWork W1570288637 @default.
- W4289761305 hasRelatedWork W1945859206 @default.
- W4289761305 hasRelatedWork W1973678919 @default.
- W4289761305 hasRelatedWork W2009929770 @default.
- W4289761305 hasRelatedWork W2037846247 @default.
- W4289761305 hasRelatedWork W2077572182 @default.
- W4289761305 hasRelatedWork W2305184423 @default.
- W4289761305 hasRelatedWork W2328716892 @default.
- W4289761305 hasRelatedWork W3105604159 @default.
- W4289761305 isParatext "false" @default.
- W4289761305 isRetracted "false" @default.
- W4289761305 workType "article" @default.