FRINK Linked Data Fragments server

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

• W294553674 abstract "The notion of orbit finite data monoid was recently introduced by Bojanczyk as an algebraic object for defining recognizable languages of data words. Following Buchi's approach, we introduce a variant of monadic second-order logic with data equality tests that captures precisely the data languages recognizable by orbit finite data monoids. We also establish, following this time the approach of Schutzenberger, McNaughton and Papert, that the first-order fragment of this logic defines exactly the data languages recognizable by aperiodic orbit finite data monoids. Finally, we consider another variant of the logic that can be interpreted over generic structures with data. The data languages defined in this variant are also recognized by unambiguous finite memory automata." @default.
• W294553674 created "2016-06-24" @default.
• W294553674 creator A5000187473 @default.
• W294553674 creator A5003426815 @default.
• W294553674 creator A5048011945 @default.
• W294553674 date "2015-09-17" @default.
• W294553674 modified "2023-10-15" @default.
• W294553674 title "Logics with rigidly guarded data tests" @default.
• W294553674 cites W137331784 @default.
• W294553674 cites W1486949897 @default.
• W294553674 cites W1494143614 @default.
• W294553674 cites W1511526676 @default.
• W294553674 cites W175889672 @default.
• W294553674 cites W1900538423 @default.
• W294553674 cites W1962883301 @default.
• W294553674 cites W1975082667 @default.
• W294553674 cites W200063938 @default.
• W294553674 cites W2029448190 @default.
• W294553674 cites W2036564813 @default.
• W294553674 cites W2040295920 @default.
• W294553674 cites W2054193719 @default.
• W294553674 cites W2062792526 @default.
• W294553674 cites W2070934866 @default.
• W294553674 cites W2073614038 @default.
• W294553674 cites W2081396910 @default.
• W294553674 cites W2083964867 @default.
• W294553674 cites W2092398161 @default.
• W294553674 cites W2116250539 @default.
• W294553674 cites W2127315934 @default.
• W294553674 cites W2128478991 @default.
• W294553674 cites W2145576118 @default.
• W294553674 cites W2162583406 @default.
• W294553674 cites W2163310156 @default.
• W294553674 cites W2168901678 @default.
• W294553674 cites W2243686102 @default.
• W294553674 cites W2315234012 @default.
• W294553674 cites W3188557745 @default.
• W294553674 cites W82980056 @default.
• W294553674 doi "https://doi.org/10.2168/lmcs-11(3:10)2015" @default.
• W294553674 hasPublicationYear "2015" @default.
• W294553674 type Work @default.
• W294553674 sameAs 294553674 @default.
• W294553674 citedByCount "3" @default.
• W294553674 countsByYear W2945536742019 @default.
• W294553674 countsByYear W2945536742021 @default.
• W294553674 countsByYear W2945536742022 @default.
• W294553674 crossrefType "journal-article" @default.
• W294553674 hasAuthorship W294553674A5000187473 @default.
• W294553674 hasAuthorship W294553674A5003426815 @default.
• W294553674 hasAuthorship W294553674A5048011945 @default.
• W294553674 hasBestOaLocation W2945536741 @default.
• W294553674 hasConcept C104247578 @default.
• W294553674 hasConcept C112505250 @default.
• W294553674 hasConcept C11413529 @default.
• W294553674 hasConcept C114614502 @default.
• W294553674 hasConcept C118615104 @default.
• W294553674 hasConcept C119903167 @default.
• W294553674 hasConcept C134306372 @default.
• W294553674 hasConcept C149685015 @default.
• W294553674 hasConcept C154945302 @default.
• W294553674 hasConcept C162319229 @default.
• W294553674 hasConcept C167822520 @default.
• W294553674 hasConcept C199360897 @default.
• W294553674 hasConcept C206901836 @default.
• W294553674 hasConcept C2776235265 @default.
• W294553674 hasConcept C2781238097 @default.
• W294553674 hasConcept C33923547 @default.
• W294553674 hasConcept C41008148 @default.
• W294553674 hasConcept C52370388 @default.
• W294553674 hasConcept C80444323 @default.
• W294553674 hasConcept C9376300 @default.
• W294553674 hasConceptScore W294553674C104247578 @default.
• W294553674 hasConceptScore W294553674C112505250 @default.
• W294553674 hasConceptScore W294553674C11413529 @default.
• W294553674 hasConceptScore W294553674C114614502 @default.
• W294553674 hasConceptScore W294553674C118615104 @default.
• W294553674 hasConceptScore W294553674C119903167 @default.
• W294553674 hasConceptScore W294553674C134306372 @default.
• W294553674 hasConceptScore W294553674C149685015 @default.
• W294553674 hasConceptScore W294553674C154945302 @default.
• W294553674 hasConceptScore W294553674C162319229 @default.
• W294553674 hasConceptScore W294553674C167822520 @default.
• W294553674 hasConceptScore W294553674C199360897 @default.
• W294553674 hasConceptScore W294553674C206901836 @default.
• W294553674 hasConceptScore W294553674C2776235265 @default.
• W294553674 hasConceptScore W294553674C2781238097 @default.
• W294553674 hasConceptScore W294553674C33923547 @default.
• W294553674 hasConceptScore W294553674C41008148 @default.
• W294553674 hasConceptScore W294553674C52370388 @default.
• W294553674 hasConceptScore W294553674C80444323 @default.
• W294553674 hasConceptScore W294553674C9376300 @default.
• W294553674 hasLocation W2945536741 @default.
• W294553674 hasLocation W29455367410 @default.
• W294553674 hasLocation W29455367411 @default.
• W294553674 hasLocation W29455367412 @default.
• W294553674 hasLocation W2945536742 @default.
• W294553674 hasLocation W2945536743 @default.
• W294553674 hasLocation W2945536744 @default.
• W294553674 hasLocation W2945536745 @default.
• W294553674 hasLocation W2945536746 @default.

• next