Matches in SemOpenAlex for { <https://semopenalex.org/work/W2068926192> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W2068926192 endingPage "550" @default.
- W2068926192 startingPage "527" @default.
- W2068926192 abstract "We characterize the amount of alternation between blocks of Boolean quantifiers (having both existential and universal), blocks of real existential quantifiers, and blocks of real universal quantifiers that can be decided in parallel polynomial time over the reals. We do so under the assumption that blocks have a uniform bound on their size, both for the case of this bound to be polynomial and constant. On the way towards this characterization we prove a real version of Savitch’s Theorem." @default.
- W2068926192 created "2016-06-24" @default.
- W2068926192 creator A5079608792 @default.
- W2068926192 creator A5084478376 @default.
- W2068926192 date "2009-10-15" @default.
- W2068926192 modified "2023-09-30" @default.
- W2068926192 title "Parallel Time and Quantifier Prefixes" @default.
- W2068926192 cites W1982129592 @default.
- W2068926192 cites W2016056788 @default.
- W2068926192 cites W2052394037 @default.
- W2068926192 cites W2055415340 @default.
- W2068926192 cites W2071846104 @default.
- W2068926192 cites W2130164058 @default.
- W2068926192 cites W2151549243 @default.
- W2068926192 doi "https://doi.org/10.1007/s00037-009-0264-6" @default.
- W2068926192 hasPublicationYear "2009" @default.
- W2068926192 type Work @default.
- W2068926192 sameAs 2068926192 @default.
- W2068926192 citedByCount "0" @default.
- W2068926192 crossrefType "journal-article" @default.
- W2068926192 hasAuthorship W2068926192A5079608792 @default.
- W2068926192 hasAuthorship W2068926192A5084478376 @default.
- W2068926192 hasBestOaLocation W20689261922 @default.
- W2068926192 hasConcept C114614502 @default.
- W2068926192 hasConcept C118615104 @default.
- W2068926192 hasConcept C134306372 @default.
- W2068926192 hasConcept C138885662 @default.
- W2068926192 hasConcept C141603448 @default.
- W2068926192 hasConcept C154945302 @default.
- W2068926192 hasConcept C171250308 @default.
- W2068926192 hasConcept C192562407 @default.
- W2068926192 hasConcept C199360897 @default.
- W2068926192 hasConcept C26826806 @default.
- W2068926192 hasConcept C2777027219 @default.
- W2068926192 hasConcept C2778523021 @default.
- W2068926192 hasConcept C2780841128 @default.
- W2068926192 hasConcept C311688 @default.
- W2068926192 hasConcept C33923547 @default.
- W2068926192 hasConcept C41008148 @default.
- W2068926192 hasConcept C41895202 @default.
- W2068926192 hasConcept C77553402 @default.
- W2068926192 hasConcept C90119067 @default.
- W2068926192 hasConceptScore W2068926192C114614502 @default.
- W2068926192 hasConceptScore W2068926192C118615104 @default.
- W2068926192 hasConceptScore W2068926192C134306372 @default.
- W2068926192 hasConceptScore W2068926192C138885662 @default.
- W2068926192 hasConceptScore W2068926192C141603448 @default.
- W2068926192 hasConceptScore W2068926192C154945302 @default.
- W2068926192 hasConceptScore W2068926192C171250308 @default.
- W2068926192 hasConceptScore W2068926192C192562407 @default.
- W2068926192 hasConceptScore W2068926192C199360897 @default.
- W2068926192 hasConceptScore W2068926192C26826806 @default.
- W2068926192 hasConceptScore W2068926192C2777027219 @default.
- W2068926192 hasConceptScore W2068926192C2778523021 @default.
- W2068926192 hasConceptScore W2068926192C2780841128 @default.
- W2068926192 hasConceptScore W2068926192C311688 @default.
- W2068926192 hasConceptScore W2068926192C33923547 @default.
- W2068926192 hasConceptScore W2068926192C41008148 @default.
- W2068926192 hasConceptScore W2068926192C41895202 @default.
- W2068926192 hasConceptScore W2068926192C77553402 @default.
- W2068926192 hasConceptScore W2068926192C90119067 @default.
- W2068926192 hasIssue "4" @default.
- W2068926192 hasLocation W20689261921 @default.
- W2068926192 hasLocation W20689261922 @default.
- W2068926192 hasOpenAccess W2068926192 @default.
- W2068926192 hasPrimaryLocation W20689261921 @default.
- W2068926192 hasRelatedWork W1577741814 @default.
- W2068926192 hasRelatedWork W2007102962 @default.
- W2068926192 hasRelatedWork W2049924983 @default.
- W2068926192 hasRelatedWork W2068926192 @default.
- W2068926192 hasRelatedWork W2395487291 @default.
- W2068926192 hasRelatedWork W2949223734 @default.
- W2068926192 hasRelatedWork W2950006226 @default.
- W2068926192 hasRelatedWork W3100477413 @default.
- W2068926192 hasRelatedWork W4281616812 @default.
- W2068926192 hasRelatedWork W4295837385 @default.
- W2068926192 hasVolume "18" @default.
- W2068926192 isParatext "false" @default.
- W2068926192 isRetracted "false" @default.
- W2068926192 magId "2068926192" @default.
- W2068926192 workType "article" @default.