Matches in SemOpenAlex for { <https://semopenalex.org/work/W840670536> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W840670536 endingPage "94" @default.
- W840670536 startingPage "85" @default.
- W840670536 abstract "The translation of LTL formulas to nondeterministic automata involves an exponential blow-up, and so does the translation of nondeterministic automata to deterministic ones. This yields a $2^{2^{O(n)}}$ upper bound for the translation of LTL to deterministic automata. A lower bound for the translation was studied in [KV05a], which describes a $2^{2^{Omega(sqrt{n})}}$ lower bound, leaving the problem of the exact blow-up open. In this paper we solve this problem and tighten the lower bound to $2^{2^{Omega(n)}}$ ." @default.
- W840670536 created "2016-06-24" @default.
- W840670536 creator A5044705285 @default.
- W840670536 creator A5077429082 @default.
- W840670536 date "2011-01-01" @default.
- W840670536 modified "2023-10-18" @default.
- W840670536 title "The Blow-Up in Translating LTL to Deterministic Automata" @default.
- W840670536 cites W117768600 @default.
- W840670536 cites W143291542 @default.
- W840670536 cites W1507116188 @default.
- W840670536 cites W1570288637 @default.
- W840670536 cites W1970603830 @default.
- W840670536 cites W1990609140 @default.
- W840670536 cites W2016206563 @default.
- W840670536 cites W2020617153 @default.
- W840670536 cites W2031592188 @default.
- W840670536 cites W2034718467 @default.
- W840670536 cites W2041403185 @default.
- W840670536 cites W2050073538 @default.
- W840670536 cites W2089003125 @default.
- W840670536 cites W2112535338 @default.
- W840670536 cites W2140847885 @default.
- W840670536 cites W4241108585 @default.
- W840670536 doi "https://doi.org/10.1007/978-3-642-20674-0_6" @default.
- W840670536 hasPublicationYear "2011" @default.
- W840670536 type Work @default.
- W840670536 sameAs 840670536 @default.
- W840670536 citedByCount "16" @default.
- W840670536 countsByYear W8406705362012 @default.
- W840670536 countsByYear W8406705362013 @default.
- W840670536 countsByYear W8406705362014 @default.
- W840670536 countsByYear W8406705362016 @default.
- W840670536 countsByYear W8406705362017 @default.
- W840670536 countsByYear W8406705362019 @default.
- W840670536 countsByYear W8406705362020 @default.
- W840670536 countsByYear W8406705362021 @default.
- W840670536 countsByYear W8406705362022 @default.
- W840670536 countsByYear W8406705362023 @default.
- W840670536 crossrefType "book-chapter" @default.
- W840670536 hasAuthorship W840670536A5044705285 @default.
- W840670536 hasAuthorship W840670536A5077429082 @default.
- W840670536 hasBestOaLocation W8406705362 @default.
- W840670536 hasConcept C104317684 @default.
- W840670536 hasConcept C105580179 @default.
- W840670536 hasConcept C112505250 @default.
- W840670536 hasConcept C114614502 @default.
- W840670536 hasConcept C118615104 @default.
- W840670536 hasConcept C121332964 @default.
- W840670536 hasConcept C134306372 @default.
- W840670536 hasConcept C149364088 @default.
- W840670536 hasConcept C151376022 @default.
- W840670536 hasConcept C176181172 @default.
- W840670536 hasConcept C185592680 @default.
- W840670536 hasConcept C2779557605 @default.
- W840670536 hasConcept C33923547 @default.
- W840670536 hasConcept C41008148 @default.
- W840670536 hasConcept C55493867 @default.
- W840670536 hasConcept C62520636 @default.
- W840670536 hasConcept C77553402 @default.
- W840670536 hasConcept C80444323 @default.
- W840670536 hasConceptScore W840670536C104317684 @default.
- W840670536 hasConceptScore W840670536C105580179 @default.
- W840670536 hasConceptScore W840670536C112505250 @default.
- W840670536 hasConceptScore W840670536C114614502 @default.
- W840670536 hasConceptScore W840670536C118615104 @default.
- W840670536 hasConceptScore W840670536C121332964 @default.
- W840670536 hasConceptScore W840670536C134306372 @default.
- W840670536 hasConceptScore W840670536C149364088 @default.
- W840670536 hasConceptScore W840670536C151376022 @default.
- W840670536 hasConceptScore W840670536C176181172 @default.
- W840670536 hasConceptScore W840670536C185592680 @default.
- W840670536 hasConceptScore W840670536C2779557605 @default.
- W840670536 hasConceptScore W840670536C33923547 @default.
- W840670536 hasConceptScore W840670536C41008148 @default.
- W840670536 hasConceptScore W840670536C55493867 @default.
- W840670536 hasConceptScore W840670536C62520636 @default.
- W840670536 hasConceptScore W840670536C77553402 @default.
- W840670536 hasConceptScore W840670536C80444323 @default.
- W840670536 hasLocation W8406705361 @default.
- W840670536 hasLocation W8406705362 @default.
- W840670536 hasOpenAccess W840670536 @default.
- W840670536 hasPrimaryLocation W8406705361 @default.
- W840670536 hasRelatedWork W1897704527 @default.
- W840670536 hasRelatedWork W1934065860 @default.
- W840670536 hasRelatedWork W2045502027 @default.
- W840670536 hasRelatedWork W2079697056 @default.
- W840670536 hasRelatedWork W2095489261 @default.
- W840670536 hasRelatedWork W2284570459 @default.
- W840670536 hasRelatedWork W3104076899 @default.
- W840670536 hasRelatedWork W4246764629 @default.
- W840670536 hasRelatedWork W4296603869 @default.
- W840670536 hasRelatedWork W3021469612 @default.
- W840670536 isParatext "false" @default.
- W840670536 isRetracted "false" @default.
- W840670536 magId "840670536" @default.
- W840670536 workType "book-chapter" @default.