Matches in SemOpenAlex for { <https://semopenalex.org/work/W1991640369> ?p ?o ?g. }
Showing items 1 to 60 of
60
with 100 items per page.
- W1991640369 abstract "Selection of an appropriate order for the evaluation of subgoals in a logical rule frequently is essential for efficiency. We formulate the problem as one of feasible subgoal orders and show that the question is inherently exponential in time. The proof is by reduction from linear-space alternating Turing machine recognition, which appears to be far easier, in this case, than the more obvious reduction from exponential-time (ordinary) Turing machines" @default.
- W1991640369 created "2016-06-24" @default.
- W1991640369 creator A5000059818 @default.
- W1991640369 creator A5089065417 @default.
- W1991640369 date "1988-01-01" @default.
- W1991640369 modified "2023-09-25" @default.
- W1991640369 title "The complexity of ordering subgoals" @default.
- W1991640369 cites W2027276583 @default.
- W1991640369 cites W2058419440 @default.
- W1991640369 cites W2061739322 @default.
- W1991640369 cites W2139875914 @default.
- W1991640369 doi "https://doi.org/10.1145/308386.308417" @default.
- W1991640369 hasPublicationYear "1988" @default.
- W1991640369 type Work @default.
- W1991640369 sameAs 1991640369 @default.
- W1991640369 citedByCount "16" @default.
- W1991640369 crossrefType "proceedings-article" @default.
- W1991640369 hasAuthorship W1991640369A5000059818 @default.
- W1991640369 hasAuthorship W1991640369A5089065417 @default.
- W1991640369 hasConcept C111335779 @default.
- W1991640369 hasConcept C11413529 @default.
- W1991640369 hasConcept C134306372 @default.
- W1991640369 hasConcept C151376022 @default.
- W1991640369 hasConcept C199360897 @default.
- W1991640369 hasConcept C2524010 @default.
- W1991640369 hasConcept C29248071 @default.
- W1991640369 hasConcept C33923547 @default.
- W1991640369 hasConcept C41008148 @default.
- W1991640369 hasConcept C45374587 @default.
- W1991640369 hasConcept C80444323 @default.
- W1991640369 hasConcept C9870796 @default.
- W1991640369 hasConceptScore W1991640369C111335779 @default.
- W1991640369 hasConceptScore W1991640369C11413529 @default.
- W1991640369 hasConceptScore W1991640369C134306372 @default.
- W1991640369 hasConceptScore W1991640369C151376022 @default.
- W1991640369 hasConceptScore W1991640369C199360897 @default.
- W1991640369 hasConceptScore W1991640369C2524010 @default.
- W1991640369 hasConceptScore W1991640369C29248071 @default.
- W1991640369 hasConceptScore W1991640369C33923547 @default.
- W1991640369 hasConceptScore W1991640369C41008148 @default.
- W1991640369 hasConceptScore W1991640369C45374587 @default.
- W1991640369 hasConceptScore W1991640369C80444323 @default.
- W1991640369 hasConceptScore W1991640369C9870796 @default.
- W1991640369 hasLocation W19916403691 @default.
- W1991640369 hasOpenAccess W1991640369 @default.
- W1991640369 hasPrimaryLocation W19916403691 @default.
- W1991640369 hasRelatedWork W1485707736 @default.
- W1991640369 hasRelatedWork W1601479546 @default.
- W1991640369 hasRelatedWork W1733945437 @default.
- W1991640369 hasRelatedWork W1970543329 @default.
- W1991640369 hasRelatedWork W2021244527 @default.
- W1991640369 hasRelatedWork W2113404752 @default.
- W1991640369 hasRelatedWork W2315104758 @default.
- W1991640369 hasRelatedWork W2401794038 @default.
- W1991640369 hasRelatedWork W3037105743 @default.
- W1991640369 hasRelatedWork W4229880262 @default.
- W1991640369 isParatext "false" @default.
- W1991640369 isRetracted "false" @default.
- W1991640369 magId "1991640369" @default.
- W1991640369 workType "article" @default.