FRINK Linked Data Fragments server

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

• W2962866237 endingPage "364" @default.
• W2962866237 startingPage "339" @default.
• W2962866237 abstract "We show that many classical decision problems about 1-counter ω-languages, context free ω-languages, or infinitary rational relations, are Π½ -complete, hence located at the second level of the analytical hierarchy, and “highly undecidable”. In particular, the universality problem, the inclusion problem, the equivalence problem, the determinizability problem, the complementability problem, and the unambiguity problem are all Π½ -complete for context-free ω-languages or for infinitary rational relations. Topological and arithmetical properties of 1-counter ω-languages, context free ω-languages, or infinitary rational relations, are also highly undecidable. These very surprising results provide the first examples of highly undecidable problems about the behaviour of very simple finite machines like 1-counter automata or 2-tape automata." @default.
• W2962866237 created "2019-07-30" @default.
• W2962866237 creator A5057731005 @default.
• W2962866237 date "2009-02-14" @default.
• W2962866237 modified "2023-09-30" @default.
• W2962866237 title "Highly Undecidable Problems For Infinite Computations" @default.
• W2962866237 cites W117768600 @default.
• W2962866237 cites W1505482284 @default.
• W2962866237 cites W1539382740 @default.
• W2962866237 cites W1560050980 @default.
• W2962866237 cites W1574255085 @default.
• W2962866237 cites W1621948069 @default.
• W2962866237 cites W1969470083 @default.
• W2962866237 cites W1980874421 @default.
• W2962866237 cites W2005868161 @default.
• W2962866237 cites W2016115448 @default.
• W2962866237 cites W2020658239 @default.
• W2962866237 cites W2022934640 @default.
• W2962866237 cites W2035905643 @default.
• W2962866237 cites W2038722538 @default.
• W2962866237 cites W2061926941 @default.
• W2962866237 cites W2066725205 @default.
• W2962866237 cites W2070641420 @default.
• W2962866237 cites W2087879437 @default.
• W2962866237 cites W2101508170 @default.
• W2962866237 cites W2110681138 @default.
• W2962866237 cites W2111753126 @default.
• W2962866237 cites W2115992562 @default.
• W2962866237 cites W2124788813 @default.
• W2962866237 cites W2156016854 @default.
• W2962866237 cites W2156423097 @default.
• W2962866237 cites W2402104012 @default.
• W2962866237 cites W2963717725 @default.
• W2962866237 cites W2964048355 @default.
• W2962866237 cites W4252769497 @default.
• W2962866237 cites W4253276684 @default.
• W2962866237 cites W4299722646 @default.
• W2962866237 cites W76842558 @default.
• W2962866237 doi "https://doi.org/10.1051/ita/2009001" @default.
• W2962866237 hasPublicationYear "2009" @default.
• W2962866237 type Work @default.
• W2962866237 sameAs 2962866237 @default.
• W2962866237 citedByCount "16" @default.
• W2962866237 countsByYear W29628662372012 @default.
• W2962866237 countsByYear W29628662372013 @default.
• W2962866237 countsByYear W29628662372014 @default.
• W2962866237 countsByYear W29628662372016 @default.
• W2962866237 countsByYear W29628662372018 @default.
• W2962866237 countsByYear W29628662372020 @default.
• W2962866237 countsByYear W29628662372021 @default.
• W2962866237 countsByYear W29628662372022 @default.
• W2962866237 crossrefType "journal-article" @default.
• W2962866237 hasAuthorship W2962866237A5057731005 @default.
• W2962866237 hasBestOaLocation W29628662372 @default.
• W2962866237 hasConcept C112505250 @default.
• W2962866237 hasConcept C11413529 @default.
• W2962866237 hasConcept C115988155 @default.
• W2962866237 hasConcept C118615104 @default.
• W2962866237 hasConcept C121332964 @default.
• W2962866237 hasConcept C136119220 @default.
• W2962866237 hasConcept C146072743 @default.
• W2962866237 hasConcept C153269930 @default.
• W2962866237 hasConcept C183992945 @default.
• W2962866237 hasConcept C192034797 @default.
• W2962866237 hasConcept C202444582 @default.
• W2962866237 hasConcept C2780069185 @default.
• W2962866237 hasConcept C33923547 @default.
• W2962866237 hasConcept C41008148 @default.
• W2962866237 hasConcept C46875033 @default.
• W2962866237 hasConcept C52370388 @default.
• W2962866237 hasConcept C62520636 @default.
• W2962866237 hasConcept C80444323 @default.
• W2962866237 hasConceptScore W2962866237C112505250 @default.
• W2962866237 hasConceptScore W2962866237C11413529 @default.
• W2962866237 hasConceptScore W2962866237C115988155 @default.
• W2962866237 hasConceptScore W2962866237C118615104 @default.
• W2962866237 hasConceptScore W2962866237C121332964 @default.
• W2962866237 hasConceptScore W2962866237C136119220 @default.
• W2962866237 hasConceptScore W2962866237C146072743 @default.
• W2962866237 hasConceptScore W2962866237C153269930 @default.
• W2962866237 hasConceptScore W2962866237C183992945 @default.
• W2962866237 hasConceptScore W2962866237C192034797 @default.
• W2962866237 hasConceptScore W2962866237C202444582 @default.
• W2962866237 hasConceptScore W2962866237C2780069185 @default.
• W2962866237 hasConceptScore W2962866237C33923547 @default.
• W2962866237 hasConceptScore W2962866237C41008148 @default.
• W2962866237 hasConceptScore W2962866237C46875033 @default.
• W2962866237 hasConceptScore W2962866237C52370388 @default.
• W2962866237 hasConceptScore W2962866237C62520636 @default.
• W2962866237 hasConceptScore W2962866237C80444323 @default.
• W2962866237 hasIssue "2" @default.
• W2962866237 hasLocation W29628662371 @default.
• W2962866237 hasLocation W29628662372 @default.
• W2962866237 hasLocation W29628662373 @default.
• W2962866237 hasLocation W29628662374 @default.
• W2962866237 hasLocation W29628662375 @default.
• W2962866237 hasLocation W29628662376 @default.
• W2962866237 hasOpenAccess W2962866237 @default.

• next