FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2951124715> ?p ?o ?g. }

• W2951124715 abstract "We show how to compute efficiently with nominal sets over the total order symmetry, by developing a direct representation of such nominal sets and basic constructions thereon. In contrast to previous approaches, we work directly at the level of orbits, which allows for an accurate complexity analysis. The approach is implemented as the library ONS (Ordered Nominal Sets). Our main motivation is nominal automata, which are models for recognising languages over infinite alphabets. We evaluate ONS in two applications: minimisation of automata and active automata learning. In both cases, ONS is competitive compared to existing implementations and outperforms them for certain classes of inputs." @default.
• W2951124715 created "2019-06-27" @default.
• W2951124715 creator A5015520868 @default.
• W2951124715 creator A5058957702 @default.
• W2951124715 creator A5081715876 @default.
• W2951124715 date "2019-02-22" @default.
• W2951124715 modified "2023-09-27" @default.
• W2951124715 title "Fast Computations on Ordered Nominal Sets" @default.
• W2951124715 cites W1542510688 @default.
• W2951124715 cites W1587163902 @default.
• W2951124715 cites W1684926818 @default.
• W2951124715 cites W1975082667 @default.
• W2951124715 cites W1989445634 @default.
• W2951124715 cites W1994196565 @default.
• W2951124715 cites W2037026294 @default.
• W2951124715 cites W2043190445 @default.
• W2951124715 cites W2053839461 @default.
• W2951124715 cites W2062877417 @default.
• W2951124715 cites W2081396910 @default.
• W2951124715 cites W2098857464 @default.
• W2951124715 cites W2105045857 @default.
• W2951124715 cites W2157757085 @default.
• W2951124715 cites W2171697843 @default.
• W2951124715 cites W2213779776 @default.
• W2951124715 cites W2271603174 @default.
• W2951124715 cites W2343018180 @default.
• W2951124715 cites W2479890041 @default.
• W2951124715 cites W2481654686 @default.
• W2951124715 cites W2500302530 @default.
• W2951124715 cites W2565239551 @default.
• W2951124715 cites W2576698691 @default.
• W2951124715 cites W2583228413 @default.
• W2951124715 cites W2676873924 @default.
• W2951124715 cites W2737162901 @default.
• W2951124715 cites W2793260070 @default.
• W2951124715 cites W2896809010 @default.
• W2951124715 cites W3021404004 @default.
• W2951124715 cites W3099647739 @default.
• W2951124715 cites W3103813054 @default.
• W2951124715 cites W427601738 @default.
• W2951124715 cites W82980056 @default.
• W2951124715 hasPublicationYear "2019" @default.
• W2951124715 type Work @default.
• W2951124715 sameAs 2951124715 @default.
• W2951124715 citedByCount "0" @default.
• W2951124715 crossrefType "posted-content" @default.
• W2951124715 hasAuthorship W2951124715A5015520868 @default.
• W2951124715 hasAuthorship W2951124715A5058957702 @default.
• W2951124715 hasAuthorship W2951124715A5081715876 @default.
• W2951124715 hasConcept C105795698 @default.
• W2951124715 hasConcept C112505250 @default.
• W2951124715 hasConcept C11413529 @default.
• W2951124715 hasConcept C116248031 @default.
• W2951124715 hasConcept C193261270 @default.
• W2951124715 hasConcept C199360897 @default.
• W2951124715 hasConcept C26713055 @default.
• W2951124715 hasConcept C33923547 @default.
• W2951124715 hasConcept C41008148 @default.
• W2951124715 hasConcept C45374587 @default.
• W2951124715 hasConcept C50348692 @default.
• W2951124715 hasConcept C80444323 @default.
• W2951124715 hasConcept C86941820 @default.
• W2951124715 hasConceptScore W2951124715C105795698 @default.
• W2951124715 hasConceptScore W2951124715C112505250 @default.
• W2951124715 hasConceptScore W2951124715C11413529 @default.
• W2951124715 hasConceptScore W2951124715C116248031 @default.
• W2951124715 hasConceptScore W2951124715C193261270 @default.
• W2951124715 hasConceptScore W2951124715C199360897 @default.
• W2951124715 hasConceptScore W2951124715C26713055 @default.
• W2951124715 hasConceptScore W2951124715C33923547 @default.
• W2951124715 hasConceptScore W2951124715C41008148 @default.
• W2951124715 hasConceptScore W2951124715C45374587 @default.
• W2951124715 hasConceptScore W2951124715C50348692 @default.
• W2951124715 hasConceptScore W2951124715C80444323 @default.
• W2951124715 hasConceptScore W2951124715C86941820 @default.
• W2951124715 hasLocation W29511247151 @default.
• W2951124715 hasOpenAccess W2951124715 @default.
• W2951124715 hasPrimaryLocation W29511247151 @default.
• W2951124715 hasRelatedWork W1482920680 @default.
• W2951124715 hasRelatedWork W1554014670 @default.
• W2951124715 hasRelatedWork W1584319581 @default.
• W2951124715 hasRelatedWork W1881030807 @default.
• W2951124715 hasRelatedWork W1892891603 @default.
• W2951124715 hasRelatedWork W1979078717 @default.
• W2951124715 hasRelatedWork W1983360325 @default.
• W2951124715 hasRelatedWork W2001101279 @default.
• W2951124715 hasRelatedWork W2102369166 @default.
• W2951124715 hasRelatedWork W2128534664 @default.
• W2951124715 hasRelatedWork W2162887688 @default.
• W2951124715 hasRelatedWork W2293032297 @default.
• W2951124715 hasRelatedWork W2939702225 @default.
• W2951124715 hasRelatedWork W2978385879 @default.
• W2951124715 hasRelatedWork W2999245033 @default.
• W2951124715 hasRelatedWork W3005756820 @default.
• W2951124715 hasRelatedWork W3136454149 @default.
• W2951124715 hasRelatedWork W3195085189 @default.
• W2951124715 hasRelatedWork W2182854164 @default.
• W2951124715 hasRelatedWork W3139966288 @default.
• W2951124715 isParatext "false" @default.
• W2951124715 isRetracted "false" @default.

• next