Matches in SemOpenAlex for { <https://semopenalex.org/work/W2073997125> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W2073997125 abstract "We study deterministic computability over sets with atoms. We characterize those alphabets for which Turing machines with atoms determinize. To this end, the determinization problem is expressed as a Constraint Satisfaction Problem, and a characterization is obtained from deep results in CSP theory. As an application to Descriptive Complexity Theory, within a substantial class of relational structures including Cai-Furer-Immerman graphs, we precisely characterize those subclasses where the logic IFP+C captures order-invariant polynomial time computation." @default.
- W2073997125 created "2016-06-24" @default.
- W2073997125 creator A5011898034 @default.
- W2073997125 creator A5025346659 @default.
- W2073997125 creator A5041066912 @default.
- W2073997125 creator A5085711958 @default.
- W2073997125 date "2014-07-14" @default.
- W2073997125 modified "2023-09-23" @default.
- W2073997125 title "Turing machines with atoms, constraint satisfaction problems, and descriptive complexity" @default.
- W2073997125 cites W1975082667 @default.
- W2073997125 cites W1983032729 @default.
- W2073997125 cites W1984581643 @default.
- W2073997125 cites W1989783863 @default.
- W2073997125 cites W1993886628 @default.
- W2073997125 cites W2045982128 @default.
- W2073997125 cites W2124452950 @default.
- W2073997125 cites W2128522328 @default.
- W2073997125 cites W2133334995 @default.
- W2073997125 cites W2139569497 @default.
- W2073997125 cites W2145576118 @default.
- W2073997125 cites W2150339067 @default.
- W2073997125 cites W2181072414 @default.
- W2073997125 cites W4245071229 @default.
- W2073997125 doi "https://doi.org/10.1145/2603088.2603135" @default.
- W2073997125 hasPublicationYear "2014" @default.
- W2073997125 type Work @default.
- W2073997125 sameAs 2073997125 @default.
- W2073997125 citedByCount "6" @default.
- W2073997125 countsByYear W20739971252015 @default.
- W2073997125 countsByYear W20739971252016 @default.
- W2073997125 countsByYear W20739971252019 @default.
- W2073997125 countsByYear W20739971252022 @default.
- W2073997125 crossrefType "proceedings-article" @default.
- W2073997125 hasAuthorship W2073997125A5011898034 @default.
- W2073997125 hasAuthorship W2073997125A5025346659 @default.
- W2073997125 hasAuthorship W2073997125A5041066912 @default.
- W2073997125 hasAuthorship W2073997125A5085711958 @default.
- W2073997125 hasBestOaLocation W20739971252 @default.
- W2073997125 hasConcept C11413529 @default.
- W2073997125 hasConcept C131671149 @default.
- W2073997125 hasConcept C132180345 @default.
- W2073997125 hasConcept C137105694 @default.
- W2073997125 hasConcept C154945302 @default.
- W2073997125 hasConcept C199360897 @default.
- W2073997125 hasConcept C199622910 @default.
- W2073997125 hasConcept C2524010 @default.
- W2073997125 hasConcept C2776036281 @default.
- W2073997125 hasConcept C29248071 @default.
- W2073997125 hasConcept C31402856 @default.
- W2073997125 hasConcept C33923547 @default.
- W2073997125 hasConcept C41008148 @default.
- W2073997125 hasConcept C44616089 @default.
- W2073997125 hasConcept C45374587 @default.
- W2073997125 hasConcept C49937458 @default.
- W2073997125 hasConcept C80444323 @default.
- W2073997125 hasConcept C9870796 @default.
- W2073997125 hasConceptScore W2073997125C11413529 @default.
- W2073997125 hasConceptScore W2073997125C131671149 @default.
- W2073997125 hasConceptScore W2073997125C132180345 @default.
- W2073997125 hasConceptScore W2073997125C137105694 @default.
- W2073997125 hasConceptScore W2073997125C154945302 @default.
- W2073997125 hasConceptScore W2073997125C199360897 @default.
- W2073997125 hasConceptScore W2073997125C199622910 @default.
- W2073997125 hasConceptScore W2073997125C2524010 @default.
- W2073997125 hasConceptScore W2073997125C2776036281 @default.
- W2073997125 hasConceptScore W2073997125C29248071 @default.
- W2073997125 hasConceptScore W2073997125C31402856 @default.
- W2073997125 hasConceptScore W2073997125C33923547 @default.
- W2073997125 hasConceptScore W2073997125C41008148 @default.
- W2073997125 hasConceptScore W2073997125C44616089 @default.
- W2073997125 hasConceptScore W2073997125C45374587 @default.
- W2073997125 hasConceptScore W2073997125C49937458 @default.
- W2073997125 hasConceptScore W2073997125C80444323 @default.
- W2073997125 hasConceptScore W2073997125C9870796 @default.
- W2073997125 hasFunder F4320322511 @default.
- W2073997125 hasLocation W20739971251 @default.
- W2073997125 hasLocation W20739971252 @default.
- W2073997125 hasOpenAccess W2073997125 @default.
- W2073997125 hasPrimaryLocation W20739971251 @default.
- W2073997125 hasRelatedWork W181793625 @default.
- W2073997125 hasRelatedWork W2012141606 @default.
- W2073997125 hasRelatedWork W2045729033 @default.
- W2073997125 hasRelatedWork W2178160012 @default.
- W2073997125 hasRelatedWork W2252314269 @default.
- W2073997125 hasRelatedWork W2470231588 @default.
- W2073997125 hasRelatedWork W2784687883 @default.
- W2073997125 hasRelatedWork W38226901 @default.
- W2073997125 hasRelatedWork W4301760132 @default.
- W2073997125 hasRelatedWork W2183565733 @default.
- W2073997125 isParatext "false" @default.
- W2073997125 isRetracted "false" @default.
- W2073997125 magId "2073997125" @default.
- W2073997125 workType "article" @default.