Matches in SemOpenAlex for { <https://semopenalex.org/work/W4313483375> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W4313483375 abstract "Parikh's theorem is a fundamental result of the formal language's theory. There had been published many proofs and many papers claimed to provide a simplified proof, but most of them are long and still complicated. We provide the proof that is really short, simple and discloses the nature of this fundamental result. We follow the technique closed to the original Parikh's paper and our proof is similar to the proof by Ryoma Sin'ya 2019, but we provide more detailed exposition and pretend to more simplicity as well. We achieve the simplicity via nonconstructivenes that allows us avoiding many difficulties met by other proofs." @default.
- W4313483375 created "2023-01-06" @default.
- W4313483375 creator A5018533509 @default.
- W4313483375 date "2022-12-30" @default.
- W4313483375 modified "2023-09-30" @default.
- W4313483375 title "The Simplest Proof of Parikh's Theorem via Derivation Trees" @default.
- W4313483375 doi "https://doi.org/10.48550/arxiv.2301.00047" @default.
- W4313483375 hasPublicationYear "2022" @default.
- W4313483375 type Work @default.
- W4313483375 citedByCount "0" @default.
- W4313483375 crossrefType "posted-content" @default.
- W4313483375 hasAuthorship W4313483375A5018533509 @default.
- W4313483375 hasBestOaLocation W43134833751 @default.
- W4313483375 hasConcept C105605280 @default.
- W4313483375 hasConcept C108710211 @default.
- W4313483375 hasConcept C111472728 @default.
- W4313483375 hasConcept C118615104 @default.
- W4313483375 hasConcept C124952713 @default.
- W4313483375 hasConcept C135754263 @default.
- W4313483375 hasConcept C138885662 @default.
- W4313483375 hasConcept C142362112 @default.
- W4313483375 hasConcept C161505775 @default.
- W4313483375 hasConcept C195653647 @default.
- W4313483375 hasConcept C199343813 @default.
- W4313483375 hasConcept C2318724 @default.
- W4313483375 hasConcept C2524010 @default.
- W4313483375 hasConcept C2776285698 @default.
- W4313483375 hasConcept C2776372474 @default.
- W4313483375 hasConcept C2777686260 @default.
- W4313483375 hasConcept C2780586882 @default.
- W4313483375 hasConcept C33923547 @default.
- W4313483375 hasConcept C41008148 @default.
- W4313483375 hasConcept C71924100 @default.
- W4313483375 hasConcept C94461902 @default.
- W4313483375 hasConceptScore W4313483375C105605280 @default.
- W4313483375 hasConceptScore W4313483375C108710211 @default.
- W4313483375 hasConceptScore W4313483375C111472728 @default.
- W4313483375 hasConceptScore W4313483375C118615104 @default.
- W4313483375 hasConceptScore W4313483375C124952713 @default.
- W4313483375 hasConceptScore W4313483375C135754263 @default.
- W4313483375 hasConceptScore W4313483375C138885662 @default.
- W4313483375 hasConceptScore W4313483375C142362112 @default.
- W4313483375 hasConceptScore W4313483375C161505775 @default.
- W4313483375 hasConceptScore W4313483375C195653647 @default.
- W4313483375 hasConceptScore W4313483375C199343813 @default.
- W4313483375 hasConceptScore W4313483375C2318724 @default.
- W4313483375 hasConceptScore W4313483375C2524010 @default.
- W4313483375 hasConceptScore W4313483375C2776285698 @default.
- W4313483375 hasConceptScore W4313483375C2776372474 @default.
- W4313483375 hasConceptScore W4313483375C2777686260 @default.
- W4313483375 hasConceptScore W4313483375C2780586882 @default.
- W4313483375 hasConceptScore W4313483375C33923547 @default.
- W4313483375 hasConceptScore W4313483375C41008148 @default.
- W4313483375 hasConceptScore W4313483375C71924100 @default.
- W4313483375 hasConceptScore W4313483375C94461902 @default.
- W4313483375 hasLocation W43134833751 @default.
- W4313483375 hasOpenAccess W4313483375 @default.
- W4313483375 hasPrimaryLocation W43134833751 @default.
- W4313483375 hasRelatedWork W1496026483 @default.
- W4313483375 hasRelatedWork W1503244304 @default.
- W4313483375 hasRelatedWork W1610564136 @default.
- W4313483375 hasRelatedWork W187835144 @default.
- W4313483375 hasRelatedWork W2461509449 @default.
- W4313483375 hasRelatedWork W2599938050 @default.
- W4313483375 hasRelatedWork W315696179 @default.
- W4313483375 hasRelatedWork W3168779796 @default.
- W4313483375 hasRelatedWork W4297816441 @default.
- W4313483375 hasRelatedWork W2119682046 @default.
- W4313483375 isParatext "false" @default.
- W4313483375 isRetracted "false" @default.
- W4313483375 workType "article" @default.