Matches in SemOpenAlex for { <https://semopenalex.org/work/W2965719034> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W2965719034 abstract "We establish an Eilenberg-type correspondence for data languages, i.e. languages over an infinite alphabet. More precisely, we prove that there is a bijective correspondence between varieties of languages recognized by orbit-finite nominal monoids and pseudovarieties of such monoids. This is the first result of this kind for data languages. Our approach makes use of nominal Stone duality and a recent category theoretic generalization of Birkhoff-type HSP theorems that we instantiate here for the category of nominal sets. In addition, we prove an axiomatic characterization of weak pseudovarieties as those classes of orbit-finite monoids that can be specified by sequences of nominal equations, which provides a nominal version of a classical theorem of Eilenberg and Schutzenberger." @default.
- W2965719034 created "2019-08-13" @default.
- W2965719034 creator A5015904690 @default.
- W2965719034 creator A5049596655 @default.
- W2965719034 date "2019-01-01" @default.
- W2965719034 modified "2023-09-28" @default.
- W2965719034 title "Varieties of Data Languages." @default.
- W2965719034 hasPublicationYear "2019" @default.
- W2965719034 type Work @default.
- W2965719034 sameAs 2965719034 @default.
- W2965719034 citedByCount "1" @default.
- W2965719034 countsByYear W29657190342019 @default.
- W2965719034 crossrefType "proceedings-article" @default.
- W2965719034 hasAuthorship W2965719034A5015904690 @default.
- W2965719034 hasAuthorship W2965719034A5049596655 @default.
- W2965719034 hasConcept C112876837 @default.
- W2965719034 hasConcept C118615104 @default.
- W2965719034 hasConcept C127413603 @default.
- W2965719034 hasConcept C134306372 @default.
- W2965719034 hasConcept C136119220 @default.
- W2965719034 hasConcept C138885662 @default.
- W2965719034 hasConcept C146978453 @default.
- W2965719034 hasConcept C167729594 @default.
- W2965719034 hasConcept C171250308 @default.
- W2965719034 hasConcept C177148314 @default.
- W2965719034 hasConcept C18903297 @default.
- W2965719034 hasConcept C192562407 @default.
- W2965719034 hasConcept C196644772 @default.
- W2965719034 hasConcept C202444582 @default.
- W2965719034 hasConcept C24424167 @default.
- W2965719034 hasConcept C2524010 @default.
- W2965719034 hasConcept C2777299769 @default.
- W2965719034 hasConcept C2778023678 @default.
- W2965719034 hasConcept C2780841128 @default.
- W2965719034 hasConcept C33923547 @default.
- W2965719034 hasConcept C41895202 @default.
- W2965719034 hasConcept C86803240 @default.
- W2965719034 hasConceptScore W2965719034C112876837 @default.
- W2965719034 hasConceptScore W2965719034C118615104 @default.
- W2965719034 hasConceptScore W2965719034C127413603 @default.
- W2965719034 hasConceptScore W2965719034C134306372 @default.
- W2965719034 hasConceptScore W2965719034C136119220 @default.
- W2965719034 hasConceptScore W2965719034C138885662 @default.
- W2965719034 hasConceptScore W2965719034C146978453 @default.
- W2965719034 hasConceptScore W2965719034C167729594 @default.
- W2965719034 hasConceptScore W2965719034C171250308 @default.
- W2965719034 hasConceptScore W2965719034C177148314 @default.
- W2965719034 hasConceptScore W2965719034C18903297 @default.
- W2965719034 hasConceptScore W2965719034C192562407 @default.
- W2965719034 hasConceptScore W2965719034C196644772 @default.
- W2965719034 hasConceptScore W2965719034C202444582 @default.
- W2965719034 hasConceptScore W2965719034C24424167 @default.
- W2965719034 hasConceptScore W2965719034C2524010 @default.
- W2965719034 hasConceptScore W2965719034C2777299769 @default.
- W2965719034 hasConceptScore W2965719034C2778023678 @default.
- W2965719034 hasConceptScore W2965719034C2780841128 @default.
- W2965719034 hasConceptScore W2965719034C33923547 @default.
- W2965719034 hasConceptScore W2965719034C41895202 @default.
- W2965719034 hasConceptScore W2965719034C86803240 @default.
- W2965719034 hasLocation W29657190341 @default.
- W2965719034 hasOpenAccess W2965719034 @default.
- W2965719034 hasPrimaryLocation W29657190341 @default.
- W2965719034 hasRelatedWork W1566757902 @default.
- W2965719034 hasRelatedWork W1619417257 @default.
- W2965719034 hasRelatedWork W1826680043 @default.
- W2965719034 hasRelatedWork W1859852581 @default.
- W2965719034 hasRelatedWork W1882114112 @default.
- W2965719034 hasRelatedWork W1999298839 @default.
- W2965719034 hasRelatedWork W2032466073 @default.
- W2965719034 hasRelatedWork W2035064000 @default.
- W2965719034 hasRelatedWork W2053039020 @default.
- W2965719034 hasRelatedWork W2069400893 @default.
- W2965719034 hasRelatedWork W2103015061 @default.
- W2965719034 hasRelatedWork W2123724019 @default.
- W2965719034 hasRelatedWork W2292068119 @default.
- W2965719034 hasRelatedWork W2479535999 @default.
- W2965719034 hasRelatedWork W2611135773 @default.
- W2965719034 hasRelatedWork W2624688418 @default.
- W2965719034 hasRelatedWork W2656886257 @default.
- W2965719034 hasRelatedWork W2757524125 @default.
- W2965719034 hasRelatedWork W2921973066 @default.
- W2965719034 hasRelatedWork W2953051185 @default.
- W2965719034 isParatext "false" @default.
- W2965719034 isRetracted "false" @default.
- W2965719034 magId "2965719034" @default.
- W2965719034 workType "article" @default.