Matches in SemOpenAlex for { <https://semopenalex.org/work/W1539600514> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W1539600514 endingPage "48" @default.
- W1539600514 startingPage "39" @default.
- W1539600514 abstract "We prove that a very basic class of program schemes augmented with access to a queue and an additional numeric universe within which counting is permitted accepts exactly the class of recursively solvable problems. The class of problems accepted when access to the numeric universe is removed is exactly the class of recursively solvable problems that are closed under extensions. We build upon NSPQ(1) an in?nite hierarchy of classes of program schemes and show that the class of problems accepted by these program schemes has a zero-one law and consists of those problems de?ned in any vectorized Lindström logic formed using operators whose corresponding problems are recursively solvable and closed under extensions. We apply our results to yield logical characterizations of complexity classes and provide logical analogs to inequalities and hypotheses from complexity theory involving the classes NP through to ELEMENTARY." @default.
- W1539600514 created "2016-06-24" @default.
- W1539600514 creator A5031021049 @default.
- W1539600514 date "2001-01-01" @default.
- W1539600514 modified "2023-09-27" @default.
- W1539600514 title "Program Schemes, Queues, the Recursive Spectrum and Zero-One Laws" @default.
- W1539600514 cites W1482954061 @default.
- W1539600514 cites W1974959615 @default.
- W1539600514 cites W1980103601 @default.
- W1539600514 cites W1984930242 @default.
- W1539600514 cites W2069462712 @default.
- W1539600514 cites W2136302019 @default.
- W1539600514 cites W4236835455 @default.
- W1539600514 cites W4252933876 @default.
- W1539600514 doi "https://doi.org/10.1007/3-540-44679-6_5" @default.
- W1539600514 hasPublicationYear "2001" @default.
- W1539600514 type Work @default.
- W1539600514 sameAs 1539600514 @default.
- W1539600514 citedByCount "1" @default.
- W1539600514 countsByYear W15396005142013 @default.
- W1539600514 crossrefType "book-chapter" @default.
- W1539600514 hasAuthorship W1539600514A5031021049 @default.
- W1539600514 hasBestOaLocation W15396005142 @default.
- W1539600514 hasConcept C11413529 @default.
- W1539600514 hasConcept C118615104 @default.
- W1539600514 hasConcept C121332964 @default.
- W1539600514 hasConcept C136119220 @default.
- W1539600514 hasConcept C138885662 @default.
- W1539600514 hasConcept C154945302 @default.
- W1539600514 hasConcept C156778621 @default.
- W1539600514 hasConcept C160403385 @default.
- W1539600514 hasConcept C17744445 @default.
- W1539600514 hasConcept C199360897 @default.
- W1539600514 hasConcept C199539241 @default.
- W1539600514 hasConcept C202444582 @default.
- W1539600514 hasConcept C2777212361 @default.
- W1539600514 hasConcept C2780813799 @default.
- W1539600514 hasConcept C311688 @default.
- W1539600514 hasConcept C31170391 @default.
- W1539600514 hasConcept C33923547 @default.
- W1539600514 hasConcept C39637292 @default.
- W1539600514 hasConcept C41008148 @default.
- W1539600514 hasConcept C41895202 @default.
- W1539600514 hasConcept C62520636 @default.
- W1539600514 hasConcept C80444323 @default.
- W1539600514 hasConceptScore W1539600514C11413529 @default.
- W1539600514 hasConceptScore W1539600514C118615104 @default.
- W1539600514 hasConceptScore W1539600514C121332964 @default.
- W1539600514 hasConceptScore W1539600514C136119220 @default.
- W1539600514 hasConceptScore W1539600514C138885662 @default.
- W1539600514 hasConceptScore W1539600514C154945302 @default.
- W1539600514 hasConceptScore W1539600514C156778621 @default.
- W1539600514 hasConceptScore W1539600514C160403385 @default.
- W1539600514 hasConceptScore W1539600514C17744445 @default.
- W1539600514 hasConceptScore W1539600514C199360897 @default.
- W1539600514 hasConceptScore W1539600514C199539241 @default.
- W1539600514 hasConceptScore W1539600514C202444582 @default.
- W1539600514 hasConceptScore W1539600514C2777212361 @default.
- W1539600514 hasConceptScore W1539600514C2780813799 @default.
- W1539600514 hasConceptScore W1539600514C311688 @default.
- W1539600514 hasConceptScore W1539600514C31170391 @default.
- W1539600514 hasConceptScore W1539600514C33923547 @default.
- W1539600514 hasConceptScore W1539600514C39637292 @default.
- W1539600514 hasConceptScore W1539600514C41008148 @default.
- W1539600514 hasConceptScore W1539600514C41895202 @default.
- W1539600514 hasConceptScore W1539600514C62520636 @default.
- W1539600514 hasConceptScore W1539600514C80444323 @default.
- W1539600514 hasLocation W15396005141 @default.
- W1539600514 hasLocation W15396005142 @default.
- W1539600514 hasLocation W15396005143 @default.
- W1539600514 hasOpenAccess W1539600514 @default.
- W1539600514 hasPrimaryLocation W15396005141 @default.
- W1539600514 hasRelatedWork W1529251341 @default.
- W1539600514 hasRelatedWork W1833513464 @default.
- W1539600514 hasRelatedWork W2050500926 @default.
- W1539600514 hasRelatedWork W2054394744 @default.
- W1539600514 hasRelatedWork W2072727451 @default.
- W1539600514 hasRelatedWork W2078740210 @default.
- W1539600514 hasRelatedWork W2134409170 @default.
- W1539600514 hasRelatedWork W2143141523 @default.
- W1539600514 hasRelatedWork W2254028205 @default.
- W1539600514 hasRelatedWork W45311726 @default.
- W1539600514 isParatext "false" @default.
- W1539600514 isRetracted "false" @default.
- W1539600514 magId "1539600514" @default.
- W1539600514 workType "book-chapter" @default.