Matches in SemOpenAlex for { <https://semopenalex.org/work/W4287777317> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W4287777317 abstract "We address the separability problem for straight-line string constraints. The separability problem for languages of a class C by a class S asks: given two languages A and B in C, does there exist a language I in S separating A and B (i.e., I is a superset of A and disjoint from B)? The separability of string constraints is the same as the fundamental problem of interpolation for string constraints. We first show that regular separability of straight line string constraints is undecidable. Our second result is the decidability of the separability problem for straight-line string constraints by piece-wise testable languages, though the precise complexity is open. In our third result, we consider the positive fragment of piece-wise testable languages as a separator, and obtain an EXPSPACE algorithm for the separability of a useful class of straight-line string constraints, and a PSPACE-hardness result." @default.
- W4287777317 created "2022-07-26" @default.
- W4287777317 creator A5002478680 @default.
- W4287777317 creator A5045324521 @default.
- W4287777317 creator A5047278328 @default.
- W4287777317 creator A5063589100 @default.
- W4287777317 date "2020-05-18" @default.
- W4287777317 modified "2023-09-27" @default.
- W4287777317 title "On the Separability Problem of String Constraints" @default.
- W4287777317 doi "https://doi.org/10.48550/arxiv.2005.09489" @default.
- W4287777317 hasPublicationYear "2020" @default.
- W4287777317 type Work @default.
- W4287777317 citedByCount "0" @default.
- W4287777317 crossrefType "posted-content" @default.
- W4287777317 hasAuthorship W4287777317A5002478680 @default.
- W4287777317 hasAuthorship W4287777317A5045324521 @default.
- W4287777317 hasAuthorship W4287777317A5047278328 @default.
- W4287777317 hasAuthorship W4287777317A5063589100 @default.
- W4287777317 hasBestOaLocation W42877773171 @default.
- W4287777317 hasConcept C112505250 @default.
- W4287777317 hasConcept C11413529 @default.
- W4287777317 hasConcept C114614502 @default.
- W4287777317 hasConcept C115988155 @default.
- W4287777317 hasConcept C118615104 @default.
- W4287777317 hasConcept C153269930 @default.
- W4287777317 hasConcept C154945302 @default.
- W4287777317 hasConcept C157486923 @default.
- W4287777317 hasConcept C192034797 @default.
- W4287777317 hasConcept C198352243 @default.
- W4287777317 hasConcept C2524010 @default.
- W4287777317 hasConcept C2777212361 @default.
- W4287777317 hasConcept C33923547 @default.
- W4287777317 hasConcept C37914503 @default.
- W4287777317 hasConcept C41008148 @default.
- W4287777317 hasConcept C45340560 @default.
- W4287777317 hasConcept C52370388 @default.
- W4287777317 hasConcept C80444323 @default.
- W4287777317 hasConceptScore W4287777317C112505250 @default.
- W4287777317 hasConceptScore W4287777317C11413529 @default.
- W4287777317 hasConceptScore W4287777317C114614502 @default.
- W4287777317 hasConceptScore W4287777317C115988155 @default.
- W4287777317 hasConceptScore W4287777317C118615104 @default.
- W4287777317 hasConceptScore W4287777317C153269930 @default.
- W4287777317 hasConceptScore W4287777317C154945302 @default.
- W4287777317 hasConceptScore W4287777317C157486923 @default.
- W4287777317 hasConceptScore W4287777317C192034797 @default.
- W4287777317 hasConceptScore W4287777317C198352243 @default.
- W4287777317 hasConceptScore W4287777317C2524010 @default.
- W4287777317 hasConceptScore W4287777317C2777212361 @default.
- W4287777317 hasConceptScore W4287777317C33923547 @default.
- W4287777317 hasConceptScore W4287777317C37914503 @default.
- W4287777317 hasConceptScore W4287777317C41008148 @default.
- W4287777317 hasConceptScore W4287777317C45340560 @default.
- W4287777317 hasConceptScore W4287777317C52370388 @default.
- W4287777317 hasConceptScore W4287777317C80444323 @default.
- W4287777317 hasLocation W42877773171 @default.
- W4287777317 hasLocation W42877773172 @default.
- W4287777317 hasOpenAccess W4287777317 @default.
- W4287777317 hasPrimaryLocation W42877773171 @default.
- W4287777317 hasRelatedWork W1523334341 @default.
- W4287777317 hasRelatedWork W1543051890 @default.
- W4287777317 hasRelatedWork W1973654289 @default.
- W4287777317 hasRelatedWork W2029797408 @default.
- W4287777317 hasRelatedWork W2115992562 @default.
- W4287777317 hasRelatedWork W2998200254 @default.
- W4287777317 hasRelatedWork W3022248317 @default.
- W4287777317 hasRelatedWork W3082481048 @default.
- W4287777317 hasRelatedWork W3101098781 @default.
- W4287777317 hasRelatedWork W2585890227 @default.
- W4287777317 isParatext "false" @default.
- W4287777317 isRetracted "false" @default.
- W4287777317 workType "article" @default.