Matches in SemOpenAlex for { <https://semopenalex.org/work/W1995105191> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W1995105191 endingPage "1226" @default.
- W1995105191 startingPage "1223" @default.
- W1995105191 abstract "We answer two questions posed by Castro and Cucker (1989) in [1], giving the exact complexities of two decision problems about cardinalities of ω-languages of Turing machines. Firstly, it is D2(Σ11)-complete to determine whether the ω-language of a given Turing machine is countably infinite, where D2(Σ11) is the class of 2-differences of Σ11-sets. Secondly, it is Σ11-complete to determine whether the ω-language of a given Turing machine is uncountable." @default.
- W1995105191 created "2016-06-24" @default.
- W1995105191 creator A5057731005 @default.
- W1995105191 creator A5063083696 @default.
- W1995105191 date "2009-11-01" @default.
- W1995105191 modified "2023-10-03" @default.
- W1995105191 title "Decision problems for Turing machines" @default.
- W1995105191 cites W1969470083 @default.
- W1995105191 cites W1981123490 @default.
- W1995105191 cites W2019185145 @default.
- W1995105191 cites W2020658239 @default.
- W1995105191 cites W2070641420 @default.
- W1995105191 cites W2083774161 @default.
- W1995105191 cites W2095378827 @default.
- W1995105191 cites W332507692 @default.
- W1995105191 cites W4232184147 @default.
- W1995105191 doi "https://doi.org/10.1016/j.ipl.2009.09.002" @default.
- W1995105191 hasPublicationYear "2009" @default.
- W1995105191 type Work @default.
- W1995105191 sameAs 1995105191 @default.
- W1995105191 citedByCount "6" @default.
- W1995105191 countsByYear W19951051912012 @default.
- W1995105191 countsByYear W19951051912014 @default.
- W1995105191 countsByYear W19951051912019 @default.
- W1995105191 countsByYear W19951051912020 @default.
- W1995105191 countsByYear W19951051912021 @default.
- W1995105191 crossrefType "journal-article" @default.
- W1995105191 hasAuthorship W1995105191A5057731005 @default.
- W1995105191 hasAuthorship W1995105191A5063083696 @default.
- W1995105191 hasBestOaLocation W19951051912 @default.
- W1995105191 hasConcept C110729354 @default.
- W1995105191 hasConcept C115988155 @default.
- W1995105191 hasConcept C118615104 @default.
- W1995105191 hasConcept C131671149 @default.
- W1995105191 hasConcept C142399903 @default.
- W1995105191 hasConcept C15190523 @default.
- W1995105191 hasConcept C154945302 @default.
- W1995105191 hasConcept C15547884 @default.
- W1995105191 hasConcept C179061269 @default.
- W1995105191 hasConcept C199360897 @default.
- W1995105191 hasConcept C201958364 @default.
- W1995105191 hasConcept C21176728 @default.
- W1995105191 hasConcept C2777212361 @default.
- W1995105191 hasConcept C29248071 @default.
- W1995105191 hasConcept C31402856 @default.
- W1995105191 hasConcept C33923547 @default.
- W1995105191 hasConcept C41008148 @default.
- W1995105191 hasConcept C45374587 @default.
- W1995105191 hasConcept C48415503 @default.
- W1995105191 hasConcept C80444323 @default.
- W1995105191 hasConcept C9870796 @default.
- W1995105191 hasConceptScore W1995105191C110729354 @default.
- W1995105191 hasConceptScore W1995105191C115988155 @default.
- W1995105191 hasConceptScore W1995105191C118615104 @default.
- W1995105191 hasConceptScore W1995105191C131671149 @default.
- W1995105191 hasConceptScore W1995105191C142399903 @default.
- W1995105191 hasConceptScore W1995105191C15190523 @default.
- W1995105191 hasConceptScore W1995105191C154945302 @default.
- W1995105191 hasConceptScore W1995105191C15547884 @default.
- W1995105191 hasConceptScore W1995105191C179061269 @default.
- W1995105191 hasConceptScore W1995105191C199360897 @default.
- W1995105191 hasConceptScore W1995105191C201958364 @default.
- W1995105191 hasConceptScore W1995105191C21176728 @default.
- W1995105191 hasConceptScore W1995105191C2777212361 @default.
- W1995105191 hasConceptScore W1995105191C29248071 @default.
- W1995105191 hasConceptScore W1995105191C31402856 @default.
- W1995105191 hasConceptScore W1995105191C33923547 @default.
- W1995105191 hasConceptScore W1995105191C41008148 @default.
- W1995105191 hasConceptScore W1995105191C45374587 @default.
- W1995105191 hasConceptScore W1995105191C48415503 @default.
- W1995105191 hasConceptScore W1995105191C80444323 @default.
- W1995105191 hasConceptScore W1995105191C9870796 @default.
- W1995105191 hasIssue "23-24" @default.
- W1995105191 hasLocation W19951051911 @default.
- W1995105191 hasLocation W19951051912 @default.
- W1995105191 hasLocation W19951051913 @default.
- W1995105191 hasLocation W19951051914 @default.
- W1995105191 hasLocation W19951051915 @default.
- W1995105191 hasLocation W19951051916 @default.
- W1995105191 hasOpenAccess W1995105191 @default.
- W1995105191 hasPrimaryLocation W19951051911 @default.
- W1995105191 hasRelatedWork W1483817375 @default.
- W1995105191 hasRelatedWork W1526857708 @default.
- W1995105191 hasRelatedWork W1662868588 @default.
- W1995105191 hasRelatedWork W1838451616 @default.
- W1995105191 hasRelatedWork W195780958 @default.
- W1995105191 hasRelatedWork W2037124586 @default.
- W1995105191 hasRelatedWork W2070488416 @default.
- W1995105191 hasRelatedWork W293759077 @default.
- W1995105191 hasRelatedWork W3014863312 @default.
- W1995105191 hasRelatedWork W4255638962 @default.
- W1995105191 hasVolume "109" @default.
- W1995105191 isParatext "false" @default.
- W1995105191 isRetracted "false" @default.
- W1995105191 magId "1995105191" @default.
- W1995105191 workType "article" @default.