Matches in SemOpenAlex for { <https://semopenalex.org/work/W2565201908> ?p ?o ?g. }
Showing items 1 to 57 of
57
with 100 items per page.
- W2565201908 abstract "We investigate a subclass of languages recognized by vector addition systems, namely languages of nondeterministic Parikh automata. While the regularity problem (is the language of a given automaton regular?) is undecidable for this model, we show surprising decidability of the regular separability problem: given two Parikh automata, is there a regular language that contains one of them and is disjoint from the other?" @default.
- W2565201908 created "2017-01-06" @default.
- W2565201908 creator A5011898034 @default.
- W2565201908 creator A5021785658 @default.
- W2565201908 creator A5024926676 @default.
- W2565201908 creator A5074542253 @default.
- W2565201908 date "2017-01-01" @default.
- W2565201908 modified "2023-09-27" @default.
- W2565201908 title "Regular Separability of Parikh Automata" @default.
- W2565201908 cites W1551851178 @default.
- W2565201908 cites W1573542260 @default.
- W2565201908 cites W1903463847 @default.
- W2565201908 cites W1974449814 @default.
- W2565201908 cites W1984570925 @default.
- W2565201908 cites W2023999667 @default.
- W2565201908 cites W2163125260 @default.
- W2565201908 cites W2275415862 @default.
- W2565201908 cites W2507594649 @default.
- W2565201908 cites W2241347640 @default.
- W2565201908 doi "https://doi.org/10.4230/lipics.icalp.2017.117" @default.
- W2565201908 hasPublicationYear "2017" @default.
- W2565201908 type Work @default.
- W2565201908 sameAs 2565201908 @default.
- W2565201908 citedByCount "1" @default.
- W2565201908 countsByYear W25652019082023 @default.
- W2565201908 crossrefType "proceedings-article" @default.
- W2565201908 hasAuthorship W2565201908A5011898034 @default.
- W2565201908 hasAuthorship W2565201908A5021785658 @default.
- W2565201908 hasAuthorship W2565201908A5024926676 @default.
- W2565201908 hasAuthorship W2565201908A5074542253 @default.
- W2565201908 hasBestOaLocation W25652019081 @default.
- W2565201908 hasConcept C112505250 @default.
- W2565201908 hasConcept C154945302 @default.
- W2565201908 hasConcept C41008148 @default.
- W2565201908 hasConcept C80444323 @default.
- W2565201908 hasConceptScore W2565201908C112505250 @default.
- W2565201908 hasConceptScore W2565201908C154945302 @default.
- W2565201908 hasConceptScore W2565201908C41008148 @default.
- W2565201908 hasConceptScore W2565201908C80444323 @default.
- W2565201908 hasLocation W25652019081 @default.
- W2565201908 hasLocation W25652019082 @default.
- W2565201908 hasOpenAccess W2565201908 @default.
- W2565201908 hasPrimaryLocation W25652019081 @default.
- W2565201908 hasRelatedWork W1490551994 @default.
- W2565201908 hasRelatedWork W153904579 @default.
- W2565201908 hasRelatedWork W2019731840 @default.
- W2565201908 hasRelatedWork W2325436751 @default.
- W2565201908 hasRelatedWork W2368796975 @default.
- W2565201908 hasRelatedWork W2627078727 @default.
- W2565201908 hasRelatedWork W2740942814 @default.
- W2565201908 hasRelatedWork W57419582 @default.
- W2565201908 hasRelatedWork W2602338684 @default.
- W2565201908 hasRelatedWork W2751931981 @default.
- W2565201908 isParatext "false" @default.
- W2565201908 isRetracted "false" @default.
- W2565201908 magId "2565201908" @default.
- W2565201908 workType "article" @default.