Matches in SemOpenAlex for { <https://semopenalex.org/work/W943514856> ?p ?o ?g. }
- W943514856 abstract "Publisher Summary Recursion theory is that area of mathematical logic where one studies the qualitative aspects of computability. In complexity theory, which is part of computer science, one studies in addition quantitative aspects of computations. A number of open problems about the structure of NP where one can prove that even under the assumption PI≠NP recursion theoretic arguments will not suffice. The chapter presents polynomial time approximation schemes for some strongly NP-complete problems that arise—for example, in robotics. The chapter presents a survey for a proof of optimal lower bounds for two tapes versus one on deterministic and nondeterministic Turing machines. Results that show a substantial superiority of nondeterminism over determinism resp. co-nondeterminism over nondeterminism for one-tape Turing machines are given in the chapter. The chapter presents the proof of the desired result as the construction of a winning strategy for a two-person game." @default.
- W943514856 created "2016-06-24" @default.
- W943514856 creator A5043339871 @default.
- W943514856 date "1986-01-01" @default.
- W943514856 modified "2023-09-27" @default.
- W943514856 title "Are Recursion Theoretic Arguments Useful in Complexity Theory?" @default.
- W943514856 cites W1987331423 @default.
- W943514856 cites W1993138363 @default.
- W943514856 cites W2004471951 @default.
- W943514856 cites W2012030760 @default.
- W943514856 cites W2013451793 @default.
- W943514856 cites W2028742519 @default.
- W943514856 cites W2029116149 @default.
- W943514856 cites W2029872977 @default.
- W943514856 cites W2034943218 @default.
- W943514856 cites W2038786564 @default.
- W943514856 cites W2045876200 @default.
- W943514856 cites W2046559210 @default.
- W943514856 cites W2059997023 @default.
- W943514856 cites W2080886835 @default.
- W943514856 cites W2090627896 @default.
- W943514856 cites W2100961486 @default.
- W943514856 cites W2125495920 @default.
- W943514856 cites W2148043549 @default.
- W943514856 cites W2913527980 @default.
- W943514856 doi "https://doi.org/10.1016/s0049-237x(09)70690-1" @default.
- W943514856 hasPublicationYear "1986" @default.
- W943514856 type Work @default.
- W943514856 sameAs 943514856 @default.
- W943514856 citedByCount "1" @default.
- W943514856 crossrefType "book-chapter" @default.
- W943514856 hasAuthorship W943514856A5043339871 @default.
- W943514856 hasConcept C111142201 @default.
- W943514856 hasConcept C11413529 @default.
- W943514856 hasConcept C118615104 @default.
- W943514856 hasConcept C121332964 @default.
- W943514856 hasConcept C131671149 @default.
- W943514856 hasConcept C136119220 @default.
- W943514856 hasConcept C152062344 @default.
- W943514856 hasConcept C15547884 @default.
- W943514856 hasConcept C168773036 @default.
- W943514856 hasConcept C176181172 @default.
- W943514856 hasConcept C192183473 @default.
- W943514856 hasConcept C202444582 @default.
- W943514856 hasConcept C29248071 @default.
- W943514856 hasConcept C311688 @default.
- W943514856 hasConcept C33923547 @default.
- W943514856 hasConcept C39637292 @default.
- W943514856 hasConcept C41008148 @default.
- W943514856 hasConcept C45374587 @default.
- W943514856 hasConcept C48415503 @default.
- W943514856 hasConcept C62520636 @default.
- W943514856 hasConcept C80444323 @default.
- W943514856 hasConcept C91331118 @default.
- W943514856 hasConceptScore W943514856C111142201 @default.
- W943514856 hasConceptScore W943514856C11413529 @default.
- W943514856 hasConceptScore W943514856C118615104 @default.
- W943514856 hasConceptScore W943514856C121332964 @default.
- W943514856 hasConceptScore W943514856C131671149 @default.
- W943514856 hasConceptScore W943514856C136119220 @default.
- W943514856 hasConceptScore W943514856C152062344 @default.
- W943514856 hasConceptScore W943514856C15547884 @default.
- W943514856 hasConceptScore W943514856C168773036 @default.
- W943514856 hasConceptScore W943514856C176181172 @default.
- W943514856 hasConceptScore W943514856C192183473 @default.
- W943514856 hasConceptScore W943514856C202444582 @default.
- W943514856 hasConceptScore W943514856C29248071 @default.
- W943514856 hasConceptScore W943514856C311688 @default.
- W943514856 hasConceptScore W943514856C33923547 @default.
- W943514856 hasConceptScore W943514856C39637292 @default.
- W943514856 hasConceptScore W943514856C41008148 @default.
- W943514856 hasConceptScore W943514856C45374587 @default.
- W943514856 hasConceptScore W943514856C48415503 @default.
- W943514856 hasConceptScore W943514856C62520636 @default.
- W943514856 hasConceptScore W943514856C80444323 @default.
- W943514856 hasConceptScore W943514856C91331118 @default.
- W943514856 hasLocation W9435148561 @default.
- W943514856 hasOpenAccess W943514856 @default.
- W943514856 hasPrimaryLocation W9435148561 @default.
- W943514856 hasRelatedWork W1494177512 @default.
- W943514856 hasRelatedWork W1519189330 @default.
- W943514856 hasRelatedWork W1520700928 @default.
- W943514856 hasRelatedWork W1545818144 @default.
- W943514856 hasRelatedWork W1553952730 @default.
- W943514856 hasRelatedWork W1580836907 @default.
- W943514856 hasRelatedWork W169256259 @default.
- W943514856 hasRelatedWork W1967410785 @default.
- W943514856 hasRelatedWork W1995246641 @default.
- W943514856 hasRelatedWork W2024920805 @default.
- W943514856 hasRelatedWork W2044513355 @default.
- W943514856 hasRelatedWork W2066989651 @default.
- W943514856 hasRelatedWork W2147305777 @default.
- W943514856 hasRelatedWork W2152058358 @default.
- W943514856 hasRelatedWork W2903479788 @default.
- W943514856 hasRelatedWork W2914652086 @default.
- W943514856 hasRelatedWork W2916116208 @default.
- W943514856 hasRelatedWork W2949478739 @default.
- W943514856 hasRelatedWork W3021191074 @default.
- W943514856 hasRelatedWork W81591341 @default.
- W943514856 isParatext "false" @default.