Matches in SemOpenAlex for { <https://semopenalex.org/work/W769729111> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W769729111 abstract "We use relational pointer machines as a framework for generalized computational complexity. Non-reuse of memory space, dubbed monotonic computing, is proposed as a fundamental concept that threads together various abstract generalizations of PTime. Depending on the use of space, relational machines generalize DLogSpace, PTime, NPTime and PSpace, We show that alternating first order machines are equivalent, over all finite structures, to monotonic machines with positive queries, generalizing the Chandra-Kozen-Stockmeyer Theorem ASpaceif) = DTimeQf), and showing that the latter does not depend on any counting mechanism. We also show that of two generalizations of PTime, deterministic monotonic machines and nondeterministic monotonic positive machines, the former can simulate the latter on all structures, and the latter can simulate the former on enumerated structures. Finally, first order inductive definitions are shown to be equivalent to monotonic pointer machines with random selection. Research sponsored in part by the Defense Advanced Research Projects Agency (DOD) under Contract F3361587-C-1499 , ARPA Order No. 4976 (Amendment 20) and monitored by: Avionics Laboratory, Air Force Wright Aeronautical Laboratories, Aeronautical Systems Division (AFSC), Wright-Patterson AFB, OH 45433-6543. The views and conclusions contained in this document are those of the authors and should not be interpreted as representing the official policies, either expressed or implied, of the Defense Advanced Research Projects Agency or of the U.S. Government. University JJhrariec" @default.
- W769729111 created "2016-06-24" @default.
- W769729111 creator A5018841823 @default.
- W769729111 date "1989-01-01" @default.
- W769729111 modified "2023-09-26" @default.
- W769729111 title "Monotonic use of space and computational complexity over abstract structures" @default.
- W769729111 cites W1570781677 @default.
- W769729111 cites W1970629906 @default.
- W769729111 cites W1970637119 @default.
- W769729111 cites W1981789328 @default.
- W769729111 cites W1989783863 @default.
- W769729111 cites W1997804367 @default.
- W769729111 cites W2004238969 @default.
- W769729111 cites W2006253309 @default.
- W769729111 cites W2043360684 @default.
- W769729111 cites W2047991033 @default.
- W769729111 cites W2074466497 @default.
- W769729111 cites W2088094394 @default.
- W769729111 cites W2268847858 @default.
- W769729111 cites W2399914283 @default.
- W769729111 cites W2493908645 @default.
- W769729111 cites W622364012 @default.
- W769729111 cites W338688251 @default.
- W769729111 hasPublicationYear "1989" @default.
- W769729111 type Work @default.
- W769729111 sameAs 769729111 @default.
- W769729111 citedByCount "4" @default.
- W769729111 countsByYear W7697291112015 @default.
- W769729111 crossrefType "journal-article" @default.
- W769729111 hasAuthorship W769729111A5018841823 @default.
- W769729111 hasConcept C11413529 @default.
- W769729111 hasConcept C118615104 @default.
- W769729111 hasConcept C134026603 @default.
- W769729111 hasConcept C134306372 @default.
- W769729111 hasConcept C136119220 @default.
- W769729111 hasConcept C150202949 @default.
- W769729111 hasConcept C154945302 @default.
- W769729111 hasConcept C176181172 @default.
- W769729111 hasConcept C179799912 @default.
- W769729111 hasConcept C199360897 @default.
- W769729111 hasConcept C202444582 @default.
- W769729111 hasConcept C2777667586 @default.
- W769729111 hasConcept C2780069185 @default.
- W769729111 hasConcept C311688 @default.
- W769729111 hasConcept C33923547 @default.
- W769729111 hasConcept C39637292 @default.
- W769729111 hasConcept C41008148 @default.
- W769729111 hasConcept C72169020 @default.
- W769729111 hasConcept C80444323 @default.
- W769729111 hasConceptScore W769729111C11413529 @default.
- W769729111 hasConceptScore W769729111C118615104 @default.
- W769729111 hasConceptScore W769729111C134026603 @default.
- W769729111 hasConceptScore W769729111C134306372 @default.
- W769729111 hasConceptScore W769729111C136119220 @default.
- W769729111 hasConceptScore W769729111C150202949 @default.
- W769729111 hasConceptScore W769729111C154945302 @default.
- W769729111 hasConceptScore W769729111C176181172 @default.
- W769729111 hasConceptScore W769729111C179799912 @default.
- W769729111 hasConceptScore W769729111C199360897 @default.
- W769729111 hasConceptScore W769729111C202444582 @default.
- W769729111 hasConceptScore W769729111C2777667586 @default.
- W769729111 hasConceptScore W769729111C2780069185 @default.
- W769729111 hasConceptScore W769729111C311688 @default.
- W769729111 hasConceptScore W769729111C33923547 @default.
- W769729111 hasConceptScore W769729111C39637292 @default.
- W769729111 hasConceptScore W769729111C41008148 @default.
- W769729111 hasConceptScore W769729111C72169020 @default.
- W769729111 hasConceptScore W769729111C80444323 @default.
- W769729111 hasLocation W7697291111 @default.
- W769729111 hasOpenAccess W769729111 @default.
- W769729111 hasPrimaryLocation W7697291111 @default.
- W769729111 hasRelatedWork W124885633 @default.
- W769729111 hasRelatedWork W1970629906 @default.
- W769729111 hasRelatedWork W1974959615 @default.
- W769729111 hasRelatedWork W1984890936 @default.
- W769729111 hasRelatedWork W2017839108 @default.
- W769729111 hasRelatedWork W2079745007 @default.
- W769729111 hasRelatedWork W2088094394 @default.
- W769729111 hasRelatedWork W2116411158 @default.
- W769729111 hasRelatedWork W2132541147 @default.
- W769729111 hasRelatedWork W2134054571 @default.
- W769729111 hasRelatedWork W2295652042 @default.
- W769729111 hasRelatedWork W3108409253 @default.
- W769729111 hasRelatedWork W3148100562 @default.
- W769729111 isParatext "false" @default.
- W769729111 isRetracted "false" @default.
- W769729111 magId "769729111" @default.
- W769729111 workType "article" @default.