FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2122103302> ?p ?o ?g. }

• W2122103302 abstract "The well-known model theoretic characterization of nondeterministic time complexity is studied. It is shown that for every nondeterministic Turing machine M of time complexity T(n), there is an existential second-order sentence sigma of a very restricted form, whose set of finite models corresponds to the set of strings recognized by M. Specifically, sigma is in the theory of addition restricted to finite segments of the natural numbers. Also, for every string x accepted by M, the length of the encoding of the model corresponding to x is O(T( mod x mod )). A consequence is that if T(n)=n/sup d/, then an upper bound is obtained for the degree of the second-order variables of sigma . Potential applications to low-level complexity are discussed. >" @default.
• W2122103302 created "2016-06-24" @default.
• W2122103302 creator A5080566559 @default.
• W2122103302 date "2002-12-04" @default.
• W2122103302 modified "2023-09-23" @default.
• W2122103302 title "The quantifier structure of sentences that characterize nondeterministic time complexity" @default.
• W2122103302 cites W1498408829 @default.
• W2122103302 cites W1555138513 @default.
• W2122103302 cites W1984820433 @default.
• W2122103302 cites W2002089154 @default.
• W2122103302 cites W2003895694 @default.
• W2122103302 cites W2004663163 @default.
• W2122103302 cites W2006484856 @default.
• W2122103302 cites W2007053458 @default.
• W2122103302 cites W2023552332 @default.
• W2122103302 cites W2036265926 @default.
• W2122103302 cites W2036656440 @default.
• W2122103302 cites W2045876200 @default.
• W2122103302 cites W2045924252 @default.
• W2122103302 cites W2060270693 @default.
• W2122103302 cites W2082154422 @default.
• W2122103302 cites W2082778556 @default.
• W2122103302 cites W2090983410 @default.
• W2122103302 cites W2104799464 @default.
• W2122103302 cites W2125362004 @default.
• W2122103302 cites W2152034968 @default.
• W2122103302 cites W2165293955 @default.
• W2122103302 cites W2170743240 @default.
• W2122103302 cites W3127113455 @default.
• W2122103302 cites W421997344 @default.
• W2122103302 cites W2116887046 @default.
• W2122103302 doi "https://doi.org/10.1109/sct.1990.113969" @default.
• W2122103302 hasPublicationYear "2002" @default.
• W2122103302 type Work @default.
• W2122103302 sameAs 2122103302 @default.
• W2122103302 citedByCount "1" @default.
• W2122103302 crossrefType "proceedings-article" @default.
• W2122103302 hasAuthorship W2122103302A5080566559 @default.
• W2122103302 hasConcept C11413529 @default.
• W2122103302 hasConcept C114614502 @default.
• W2122103302 hasConcept C118615104 @default.
• W2122103302 hasConcept C121332964 @default.
• W2122103302 hasConcept C134306372 @default.
• W2122103302 hasConcept C154945302 @default.
• W2122103302 hasConcept C157486923 @default.
• W2122103302 hasConcept C162392398 @default.
• W2122103302 hasConcept C176181172 @default.
• W2122103302 hasConcept C177264268 @default.
• W2122103302 hasConcept C179799912 @default.
• W2122103302 hasConcept C199360897 @default.
• W2122103302 hasConcept C2778049214 @default.
• W2122103302 hasConcept C2778523021 @default.
• W2122103302 hasConcept C29248071 @default.
• W2122103302 hasConcept C311688 @default.
• W2122103302 hasConcept C33923547 @default.
• W2122103302 hasConcept C37914503 @default.
• W2122103302 hasConcept C41008148 @default.
• W2122103302 hasConcept C45374587 @default.
• W2122103302 hasConcept C62520636 @default.
• W2122103302 hasConcept C77553402 @default.
• W2122103302 hasConceptScore W2122103302C11413529 @default.
• W2122103302 hasConceptScore W2122103302C114614502 @default.
• W2122103302 hasConceptScore W2122103302C118615104 @default.
• W2122103302 hasConceptScore W2122103302C121332964 @default.
• W2122103302 hasConceptScore W2122103302C134306372 @default.
• W2122103302 hasConceptScore W2122103302C154945302 @default.
• W2122103302 hasConceptScore W2122103302C157486923 @default.
• W2122103302 hasConceptScore W2122103302C162392398 @default.
• W2122103302 hasConceptScore W2122103302C176181172 @default.
• W2122103302 hasConceptScore W2122103302C177264268 @default.
• W2122103302 hasConceptScore W2122103302C179799912 @default.
• W2122103302 hasConceptScore W2122103302C199360897 @default.
• W2122103302 hasConceptScore W2122103302C2778049214 @default.
• W2122103302 hasConceptScore W2122103302C2778523021 @default.
• W2122103302 hasConceptScore W2122103302C29248071 @default.
• W2122103302 hasConceptScore W2122103302C311688 @default.
• W2122103302 hasConceptScore W2122103302C33923547 @default.
• W2122103302 hasConceptScore W2122103302C37914503 @default.
• W2122103302 hasConceptScore W2122103302C41008148 @default.
• W2122103302 hasConceptScore W2122103302C45374587 @default.
• W2122103302 hasConceptScore W2122103302C62520636 @default.
• W2122103302 hasConceptScore W2122103302C77553402 @default.
• W2122103302 hasLocation W21221033021 @default.
• W2122103302 hasOpenAccess W2122103302 @default.
• W2122103302 hasPrimaryLocation W21221033021 @default.
• W2122103302 hasRelatedWork W1498812002 @default.
• W2122103302 hasRelatedWork W1500655838 @default.
• W2122103302 hasRelatedWork W1508460913 @default.
• W2122103302 hasRelatedWork W1508570999 @default.
• W2122103302 hasRelatedWork W1524395921 @default.
• W2122103302 hasRelatedWork W1575814589 @default.
• W2122103302 hasRelatedWork W1575867194 @default.
• W2122103302 hasRelatedWork W158825487 @default.
• W2122103302 hasRelatedWork W175900084 @default.
• W2122103302 hasRelatedWork W1982129592 @default.
• W2122103302 hasRelatedWork W1995893260 @default.
• W2122103302 hasRelatedWork W2004663163 @default.
• W2122103302 hasRelatedWork W2066080128 @default.
• W2122103302 hasRelatedWork W2066306723 @default.
• W2122103302 hasRelatedWork W2144345645 @default.

• next