Matches in SemOpenAlex for { <https://semopenalex.org/work/W3186756677> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W3186756677 abstract "We show that it is decidable whether two regular languages of infinite trees are separable by a deterministic language, resp., a game language. We consider two variants of separability, depending on whether the set of priorities of the separator is fixed, or not. In each case, we show that separability can be decided in EXPTIME, and that separating automata of exponential size suffice. We obtain our results by reducing to infinite duration games with {omega}-regular winning conditions and applying the finite-memory determinacy theorem of Buchi and Landweber." @default.
- W3186756677 created "2021-08-02" @default.
- W3186756677 creator A5073562431 @default.
- W3186756677 creator A5074542253 @default.
- W3186756677 date "2021-01-01" @default.
- W3186756677 modified "2023-09-27" @default.
- W3186756677 title "Deterministic and Game Separability for Regular Languages of Infinite Trees." @default.
- W3186756677 hasPublicationYear "2021" @default.
- W3186756677 type Work @default.
- W3186756677 sameAs 3186756677 @default.
- W3186756677 citedByCount "0" @default.
- W3186756677 crossrefType "proceedings-article" @default.
- W3186756677 hasAuthorship W3186756677A5073562431 @default.
- W3186756677 hasAuthorship W3186756677A5074542253 @default.
- W3186756677 hasConcept C112505250 @default.
- W3186756677 hasConcept C11413529 @default.
- W3186756677 hasConcept C118615104 @default.
- W3186756677 hasConcept C134306372 @default.
- W3186756677 hasConcept C138885662 @default.
- W3186756677 hasConcept C151376022 @default.
- W3186756677 hasConcept C153269930 @default.
- W3186756677 hasConcept C179799912 @default.
- W3186756677 hasConcept C197685441 @default.
- W3186756677 hasConcept C2778583254 @default.
- W3186756677 hasConcept C2779557605 @default.
- W3186756677 hasConcept C33923547 @default.
- W3186756677 hasConcept C41008148 @default.
- W3186756677 hasConcept C41895202 @default.
- W3186756677 hasConcept C52370388 @default.
- W3186756677 hasConcept C56049555 @default.
- W3186756677 hasConcept C58468513 @default.
- W3186756677 hasConcept C70710897 @default.
- W3186756677 hasConcept C75235859 @default.
- W3186756677 hasConcept C80444323 @default.
- W3186756677 hasConceptScore W3186756677C112505250 @default.
- W3186756677 hasConceptScore W3186756677C11413529 @default.
- W3186756677 hasConceptScore W3186756677C118615104 @default.
- W3186756677 hasConceptScore W3186756677C134306372 @default.
- W3186756677 hasConceptScore W3186756677C138885662 @default.
- W3186756677 hasConceptScore W3186756677C151376022 @default.
- W3186756677 hasConceptScore W3186756677C153269930 @default.
- W3186756677 hasConceptScore W3186756677C179799912 @default.
- W3186756677 hasConceptScore W3186756677C197685441 @default.
- W3186756677 hasConceptScore W3186756677C2778583254 @default.
- W3186756677 hasConceptScore W3186756677C2779557605 @default.
- W3186756677 hasConceptScore W3186756677C33923547 @default.
- W3186756677 hasConceptScore W3186756677C41008148 @default.
- W3186756677 hasConceptScore W3186756677C41895202 @default.
- W3186756677 hasConceptScore W3186756677C52370388 @default.
- W3186756677 hasConceptScore W3186756677C56049555 @default.
- W3186756677 hasConceptScore W3186756677C58468513 @default.
- W3186756677 hasConceptScore W3186756677C70710897 @default.
- W3186756677 hasConceptScore W3186756677C75235859 @default.
- W3186756677 hasConceptScore W3186756677C80444323 @default.
- W3186756677 hasLocation W31867566771 @default.
- W3186756677 hasOpenAccess W3186756677 @default.
- W3186756677 hasPrimaryLocation W31867566771 @default.
- W3186756677 hasRelatedWork W1673045676 @default.
- W3186756677 hasRelatedWork W1907640525 @default.
- W3186756677 hasRelatedWork W1966886635 @default.
- W3186756677 hasRelatedWork W2026737442 @default.
- W3186756677 hasRelatedWork W2059837071 @default.
- W3186756677 hasRelatedWork W2145058408 @default.
- W3186756677 hasRelatedWork W2247132892 @default.
- W3186756677 hasRelatedWork W2530218450 @default.
- W3186756677 hasRelatedWork W2603819657 @default.
- W3186756677 hasRelatedWork W2603910788 @default.
- W3186756677 hasRelatedWork W2737780903 @default.
- W3186756677 hasRelatedWork W2749142084 @default.
- W3186756677 hasRelatedWork W2889105607 @default.
- W3186756677 hasRelatedWork W2951845492 @default.
- W3186756677 hasRelatedWork W2953381592 @default.
- W3186756677 hasRelatedWork W2963315980 @default.
- W3186756677 hasRelatedWork W3159301222 @default.
- W3186756677 hasRelatedWork W34992031 @default.
- W3186756677 hasRelatedWork W984805233 @default.
- W3186756677 hasRelatedWork W1652094598 @default.
- W3186756677 isParatext "false" @default.
- W3186756677 isRetracted "false" @default.
- W3186756677 magId "3186756677" @default.
- W3186756677 workType "article" @default.