FRINK Linked Data Fragments server

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

• W3090210910 abstract "We develop a fully diagrammatic approach to the theory of finite-state automata, based on reinterpreting their usual state-transition graphical representation as a two-dimensional syntax of string diagrams. Moreover, we provide an equational theory that completely axiomatises language equivalence in this new setting. This theory has two notable features. First, the Kleene star is a derived concept, as it can be decomposed into more primitive algebraic blocks. Second, the proposed axiomatisation is finitary -- a result which is provably impossible to obtain for the one-dimensional syntax of regular expressions." @default.
• W3090210910 created "2020-10-08" @default.
• W3090210910 creator A5012245406 @default.
• W3090210910 creator A5067227020 @default.
• W3090210910 date "2021-03-21" @default.
• W3090210910 modified "2023-09-23" @default.
• W3090210910 title "A String Diagrammatic Axiomatisation of Finite-State Automata" @default.
• W3090210910 cites W137476671 @default.
• W3090210910 cites W1493925387 @default.
• W3090210910 cites W1570445666 @default.
• W3090210910 cites W1570949334 @default.
• W3090210910 cites W1972464717 @default.
• W3090210910 cites W1992292825 @default.
• W3090210910 cites W1993360653 @default.
• W3090210910 cites W1995341919 @default.
• W3090210910 cites W1998368317 @default.
• W3090210910 cites W2008699979 @default.
• W3090210910 cites W2008967744 @default.
• W3090210910 cites W2016355163 @default.
• W3090210910 cites W2049362364 @default.
• W3090210910 cites W2072607050 @default.
• W3090210910 cites W2090319048 @default.
• W3090210910 cites W2102357532 @default.
• W3090210910 cites W2104255209 @default.
• W3090210910 cites W2130210899 @default.
• W3090210910 cites W2131010590 @default.
• W3090210910 cites W2133023849 @default.
• W3090210910 cites W2152476038 @default.
• W3090210910 cites W2163152086 @default.
• W3090210910 cites W2293138805 @default.
• W3090210910 cites W2598985404 @default.
• W3090210910 cites W2610888051 @default.
• W3090210910 cites W2773827414 @default.
• W3090210910 cites W2789380954 @default.
• W3090210910 cites W2792939069 @default.
• W3090210910 cites W2900110008 @default.
• W3090210910 cites W2963664166 @default.
• W3090210910 cites W2963976973 @default.
• W3090210910 cites W2965266081 @default.
• W3090210910 cites W2980706408 @default.
• W3090210910 cites W3105507374 @default.
• W3090210910 cites W3123988290 @default.
• W3090210910 cites W3174817955 @default.
• W3090210910 doi "https://doi.org/10.26226/morressier.604907f41a80aac83ca25cb7" @default.
• W3090210910 hasPublicationYear "2021" @default.
• W3090210910 type Work @default.
• W3090210910 sameAs 3090210910 @default.
• W3090210910 citedByCount "2" @default.
• W3090210910 countsByYear W30902109102021 @default.
• W3090210910 countsByYear W30902109102023 @default.
• W3090210910 crossrefType "posted-content" @default.
• W3090210910 hasAuthorship W3090210910A5012245406 @default.
• W3090210910 hasAuthorship W3090210910A5067227020 @default.
• W3090210910 hasBestOaLocation W30902109102 @default.
• W3090210910 hasConcept C104091681 @default.
• W3090210910 hasConcept C106624574 @default.
• W3090210910 hasConcept C112505250 @default.
• W3090210910 hasConcept C11413529 @default.
• W3090210910 hasConcept C121332964 @default.
• W3090210910 hasConcept C136119220 @default.
• W3090210910 hasConcept C157486923 @default.
• W3090210910 hasConcept C167822520 @default.
• W3090210910 hasConcept C199360897 @default.
• W3090210910 hasConcept C202444582 @default.
• W3090210910 hasConcept C33332235 @default.
• W3090210910 hasConcept C33923547 @default.
• W3090210910 hasConcept C41008148 @default.
• W3090210910 hasConcept C48103436 @default.
• W3090210910 hasConcept C80444323 @default.
• W3090210910 hasConceptScore W3090210910C104091681 @default.
• W3090210910 hasConceptScore W3090210910C106624574 @default.
• W3090210910 hasConceptScore W3090210910C112505250 @default.
• W3090210910 hasConceptScore W3090210910C11413529 @default.
• W3090210910 hasConceptScore W3090210910C121332964 @default.
• W3090210910 hasConceptScore W3090210910C136119220 @default.
• W3090210910 hasConceptScore W3090210910C157486923 @default.
• W3090210910 hasConceptScore W3090210910C167822520 @default.
• W3090210910 hasConceptScore W3090210910C199360897 @default.
• W3090210910 hasConceptScore W3090210910C202444582 @default.
• W3090210910 hasConceptScore W3090210910C33332235 @default.
• W3090210910 hasConceptScore W3090210910C33923547 @default.
• W3090210910 hasConceptScore W3090210910C41008148 @default.
• W3090210910 hasConceptScore W3090210910C48103436 @default.
• W3090210910 hasConceptScore W3090210910C80444323 @default.
• W3090210910 hasLocation W30902109101 @default.
• W3090210910 hasLocation W30902109102 @default.
• W3090210910 hasLocation W30902109103 @default.
• W3090210910 hasLocation W30902109104 @default.
• W3090210910 hasOpenAccess W3090210910 @default.
• W3090210910 hasPrimaryLocation W30902109101 @default.
• W3090210910 hasRelatedWork W1525520558 @default.
• W3090210910 hasRelatedWork W155242998 @default.
• W3090210910 hasRelatedWork W1994486459 @default.
• W3090210910 hasRelatedWork W2015535429 @default.
• W3090210910 hasRelatedWork W2050696740 @default.
• W3090210910 hasRelatedWork W2121424317 @default.
• W3090210910 hasRelatedWork W2299084559 @default.
• W3090210910 hasRelatedWork W2482365960 @default.
• W3090210910 hasRelatedWork W3087756144 @default.
• W3090210910 hasRelatedWork W94998075 @default.

• next