Matches in SemOpenAlex for { <https://semopenalex.org/work/W2947668860> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W2947668860 abstract "Nominal sets provide a foundation for reasoning about names. They are used primarily in syntax with binders, but also, e.g., to model automata over infinite alphabets. In this paper, nominal sets are related to nominal renaming sets, which involve arbitrary substitutions rather than permutations, through a categorical adjunction. In particular, the left adjoint relates the separated product of nominal sets to the Cartesian product of nominal renaming sets. Based on these results, we define the new notion of separated nominal automata. These automata can be exponentially smaller than classical nominal automata, if the semantics is closed under substitutions." @default.
- W2947668860 created "2019-06-07" @default.
- W2947668860 creator A5015520868 @default.
- W2947668860 creator A5058957702 @default.
- W2947668860 date "2019-06-03" @default.
- W2947668860 modified "2023-09-27" @default.
- W2947668860 title "Separation and Renaming in Nominal Sets" @default.
- W2947668860 cites W109180551 @default.
- W2947668860 cites W121172531 @default.
- W2947668860 cites W1524793155 @default.
- W2947668860 cites W1528269269 @default.
- W2947668860 cites W1964976097 @default.
- W2947668860 cites W2046160374 @default.
- W2947668860 cites W2049707341 @default.
- W2947668860 cites W2086788473 @default.
- W2947668860 cites W2088189323 @default.
- W2947668860 cites W2098962004 @default.
- W2947668860 cites W2108857165 @default.
- W2947668860 cites W2111600818 @default.
- W2947668860 cites W2136660485 @default.
- W2947668860 cites W2343018180 @default.
- W2947668860 cites W2479890041 @default.
- W2947668860 cites W2898370202 @default.
- W2947668860 cites W3099647739 @default.
- W2947668860 cites W3103813054 @default.
- W2947668860 hasPublicationYear "2019" @default.
- W2947668860 type Work @default.
- W2947668860 sameAs 2947668860 @default.
- W2947668860 citedByCount "1" @default.
- W2947668860 countsByYear W29476688602019 @default.
- W2947668860 crossrefType "posted-content" @default.
- W2947668860 hasAuthorship W2947668860A5015520868 @default.
- W2947668860 hasAuthorship W2947668860A5058957702 @default.
- W2947668860 hasConcept C105795698 @default.
- W2947668860 hasConcept C112505250 @default.
- W2947668860 hasConcept C118615104 @default.
- W2947668860 hasConcept C184337299 @default.
- W2947668860 hasConcept C199360897 @default.
- W2947668860 hasConcept C202444582 @default.
- W2947668860 hasConcept C2524010 @default.
- W2947668860 hasConcept C2780580338 @default.
- W2947668860 hasConcept C33923547 @default.
- W2947668860 hasConcept C41008148 @default.
- W2947668860 hasConcept C5274069 @default.
- W2947668860 hasConcept C65236422 @default.
- W2947668860 hasConcept C80444323 @default.
- W2947668860 hasConcept C90673727 @default.
- W2947668860 hasConceptScore W2947668860C105795698 @default.
- W2947668860 hasConceptScore W2947668860C112505250 @default.
- W2947668860 hasConceptScore W2947668860C118615104 @default.
- W2947668860 hasConceptScore W2947668860C184337299 @default.
- W2947668860 hasConceptScore W2947668860C199360897 @default.
- W2947668860 hasConceptScore W2947668860C202444582 @default.
- W2947668860 hasConceptScore W2947668860C2524010 @default.
- W2947668860 hasConceptScore W2947668860C2780580338 @default.
- W2947668860 hasConceptScore W2947668860C33923547 @default.
- W2947668860 hasConceptScore W2947668860C41008148 @default.
- W2947668860 hasConceptScore W2947668860C5274069 @default.
- W2947668860 hasConceptScore W2947668860C65236422 @default.
- W2947668860 hasConceptScore W2947668860C80444323 @default.
- W2947668860 hasConceptScore W2947668860C90673727 @default.
- W2947668860 hasLocation W29476688601 @default.
- W2947668860 hasOpenAccess W2947668860 @default.
- W2947668860 hasPrimaryLocation W29476688601 @default.
- W2947668860 hasRelatedWork W110309261 @default.
- W2947668860 hasRelatedWork W117506458 @default.
- W2947668860 hasRelatedWork W1524793155 @default.
- W2947668860 hasRelatedWork W1609831664 @default.
- W2947668860 hasRelatedWork W1989923128 @default.
- W2947668860 hasRelatedWork W2032874529 @default.
- W2947668860 hasRelatedWork W2079179697 @default.
- W2947668860 hasRelatedWork W2145576118 @default.
- W2947668860 hasRelatedWork W2205883199 @default.
- W2947668860 hasRelatedWork W2285305001 @default.
- W2947668860 hasRelatedWork W2387849862 @default.
- W2947668860 hasRelatedWork W2534478229 @default.
- W2947668860 hasRelatedWork W2784689838 @default.
- W2947668860 hasRelatedWork W2802872846 @default.
- W2947668860 hasRelatedWork W3003999040 @default.
- W2947668860 hasRelatedWork W3127328961 @default.
- W2947668860 hasRelatedWork W3140591929 @default.
- W2947668860 hasRelatedWork W3175373088 @default.
- W2947668860 hasRelatedWork W55323366 @default.
- W2947668860 hasRelatedWork W2036890855 @default.
- W2947668860 isParatext "false" @default.
- W2947668860 isRetracted "false" @default.
- W2947668860 magId "2947668860" @default.
- W2947668860 workType "article" @default.