Matches in SemOpenAlex for { <https://semopenalex.org/work/W4297832012> ?p ?o ?g. }
Showing items 1 to 51 of
51
with 100 items per page.
- W4297832012 abstract "The following problem is shown undecidable: given regular languages L,K of finite trees, decide if there exists a deterministic tree-walking automaton which accepts all trees in L and rejects all trees in K. The proof uses a technique of Kopczy'nski from LICS 2016." @default.
- W4297832012 created "2022-10-01" @default.
- W4297832012 creator A5050056333 @default.
- W4297832012 date "2017-03-15" @default.
- W4297832012 modified "2023-09-25" @default.
- W4297832012 title "It is undecidable if two regular tree languages can be separated by a deterministic tree-walking automaton" @default.
- W4297832012 doi "https://doi.org/10.48550/arxiv.1703.04997" @default.
- W4297832012 hasPublicationYear "2017" @default.
- W4297832012 type Work @default.
- W4297832012 citedByCount "0" @default.
- W4297832012 crossrefType "posted-content" @default.
- W4297832012 hasAuthorship W4297832012A5050056333 @default.
- W4297832012 hasBestOaLocation W42978320121 @default.
- W4297832012 hasConcept C112505250 @default.
- W4297832012 hasConcept C113174947 @default.
- W4297832012 hasConcept C114614502 @default.
- W4297832012 hasConcept C118615104 @default.
- W4297832012 hasConcept C153269930 @default.
- W4297832012 hasConcept C192034797 @default.
- W4297832012 hasConcept C194525867 @default.
- W4297832012 hasConcept C2778583254 @default.
- W4297832012 hasConcept C33923547 @default.
- W4297832012 hasConcept C41008148 @default.
- W4297832012 hasConcept C80444323 @default.
- W4297832012 hasConceptScore W4297832012C112505250 @default.
- W4297832012 hasConceptScore W4297832012C113174947 @default.
- W4297832012 hasConceptScore W4297832012C114614502 @default.
- W4297832012 hasConceptScore W4297832012C118615104 @default.
- W4297832012 hasConceptScore W4297832012C153269930 @default.
- W4297832012 hasConceptScore W4297832012C192034797 @default.
- W4297832012 hasConceptScore W4297832012C194525867 @default.
- W4297832012 hasConceptScore W4297832012C2778583254 @default.
- W4297832012 hasConceptScore W4297832012C33923547 @default.
- W4297832012 hasConceptScore W4297832012C41008148 @default.
- W4297832012 hasConceptScore W4297832012C80444323 @default.
- W4297832012 hasLocation W42978320121 @default.
- W4297832012 hasOpenAccess W4297832012 @default.
- W4297832012 hasPrimaryLocation W42978320121 @default.
- W4297832012 hasRelatedWork W1566792041 @default.
- W4297832012 hasRelatedWork W1966269148 @default.
- W4297832012 hasRelatedWork W2024091458 @default.
- W4297832012 hasRelatedWork W2052395110 @default.
- W4297832012 hasRelatedWork W2395891450 @default.
- W4297832012 hasRelatedWork W2603819657 @default.
- W4297832012 hasRelatedWork W2915573831 @default.
- W4297832012 hasRelatedWork W2953028947 @default.
- W4297832012 hasRelatedWork W3208083928 @default.
- W4297832012 hasRelatedWork W4297832012 @default.
- W4297832012 isParatext "false" @default.
- W4297832012 isRetracted "false" @default.
- W4297832012 workType "article" @default.