FRINK Linked Data Fragments server

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

• W2009964224 endingPage "340" @default.
• W2009964224 startingPage "307" @default.
• W2009964224 abstract "Cayley-graphs of monoids are investigated under a logical point of view. It is shown that the class of monoids, for which the Cayley-graph has a decidable monadic second-order theory, is closed under free products. This result is derived from a result of Walukiewicz, stating that the decidability of monadic second-order theories is preserved under tree-like unfoldings. Concerning first-order logic, it is shown that the class of monoids, for which the Cayley-graph has a decidable first-order theory, is closed under arbitrary graph products, which generalize both, free and direct products. For the proof of this result, tree-like unfoldings are generalized to so-called factorized unfoldings. It is shown that the decidability of the first-order theory of a structure is preserved by factorized unfoldings. Several additional results concerning factorized unfoldings are shown." @default.
• W2009964224 created "2016-06-24" @default.
• W2009964224 creator A5005500210 @default.
• W2009964224 creator A5077823013 @default.
• W2009964224 date "2006-04-01" @default.
• W2009964224 modified "2023-09-24" @default.
• W2009964224 title "LOGICAL ASPECTS OF CAYLEY-GRAPHS: THE MONOID CASE" @default.
• W2009964224 cites W1026721552 @default.
• W2009964224 cites W1511526676 @default.
• W2009964224 cites W1513644114 @default.
• W2009964224 cites W1517150411 @default.
• W2009964224 cites W1529497146 @default.
• W2009964224 cites W1971416129 @default.
• W2009964224 cites W1974069850 @default.
• W2009964224 cites W1975885036 @default.
• W2009964224 cites W1976522318 @default.
• W2009964224 cites W1993901943 @default.
• W2009964224 cites W2001280748 @default.
• W2009964224 cites W2003865102 @default.
• W2009964224 cites W2020079677 @default.
• W2009964224 cites W2026384981 @default.
• W2009964224 cites W2062170505 @default.
• W2009964224 cites W2062792526 @default.
• W2009964224 cites W2067464091 @default.
• W2009964224 cites W2071189751 @default.
• W2009964224 cites W2084488871 @default.
• W2009964224 cites W2088024272 @default.
• W2009964224 cites W2088663140 @default.
• W2009964224 cites W2163903931 @default.
• W2009964224 cites W2323378191 @default.
• W2009964224 cites W2570611167 @default.
• W2009964224 cites W2915052804 @default.
• W2009964224 cites W3037175162 @default.
• W2009964224 cites W4292101339 @default.
• W2009964224 cites W4302964898 @default.
• W2009964224 cites W67045286 @default.
• W2009964224 cites W1697762769 @default.
• W2009964224 doi "https://doi.org/10.1142/s0218196706003001" @default.
• W2009964224 hasPublicationYear "2006" @default.
• W2009964224 type Work @default.
• W2009964224 sameAs 2009964224 @default.
• W2009964224 citedByCount "24" @default.
• W2009964224 countsByYear W20099642242012 @default.
• W2009964224 countsByYear W20099642242014 @default.
• W2009964224 countsByYear W20099642242015 @default.
• W2009964224 countsByYear W20099642242017 @default.
• W2009964224 countsByYear W20099642242019 @default.
• W2009964224 countsByYear W20099642242022 @default.
• W2009964224 countsByYear W20099642242023 @default.
• W2009964224 crossrefType "journal-article" @default.
• W2009964224 hasAuthorship W2009964224A5005500210 @default.
• W2009964224 hasAuthorship W2009964224A5077823013 @default.
• W2009964224 hasConcept C10138342 @default.
• W2009964224 hasConcept C113174947 @default.
• W2009964224 hasConcept C114614502 @default.
• W2009964224 hasConcept C118615104 @default.
• W2009964224 hasConcept C120204988 @default.
• W2009964224 hasConcept C132525143 @default.
• W2009964224 hasConcept C153269930 @default.
• W2009964224 hasConcept C154945302 @default.
• W2009964224 hasConcept C162324750 @default.
• W2009964224 hasConcept C182306322 @default.
• W2009964224 hasConcept C206901836 @default.
• W2009964224 hasConcept C2777212361 @default.
• W2009964224 hasConcept C33923547 @default.
• W2009964224 hasConcept C41008148 @default.
• W2009964224 hasConceptScore W2009964224C10138342 @default.
• W2009964224 hasConceptScore W2009964224C113174947 @default.
• W2009964224 hasConceptScore W2009964224C114614502 @default.
• W2009964224 hasConceptScore W2009964224C118615104 @default.
• W2009964224 hasConceptScore W2009964224C120204988 @default.
• W2009964224 hasConceptScore W2009964224C132525143 @default.
• W2009964224 hasConceptScore W2009964224C153269930 @default.
• W2009964224 hasConceptScore W2009964224C154945302 @default.
• W2009964224 hasConceptScore W2009964224C162324750 @default.
• W2009964224 hasConceptScore W2009964224C182306322 @default.
• W2009964224 hasConceptScore W2009964224C206901836 @default.
• W2009964224 hasConceptScore W2009964224C2777212361 @default.
• W2009964224 hasConceptScore W2009964224C33923547 @default.
• W2009964224 hasConceptScore W2009964224C41008148 @default.
• W2009964224 hasIssue "02" @default.
• W2009964224 hasLocation W20099642241 @default.
• W2009964224 hasOpenAccess W2009964224 @default.
• W2009964224 hasPrimaryLocation W20099642241 @default.
• W2009964224 hasRelatedWork W1535963902 @default.
• W2009964224 hasRelatedWork W1994148577 @default.
• W2009964224 hasRelatedWork W2002689282 @default.
• W2009964224 hasRelatedWork W2021928832 @default.
• W2009964224 hasRelatedWork W2027653655 @default.
• W2009964224 hasRelatedWork W2304273858 @default.
• W2009964224 hasRelatedWork W2617475990 @default.
• W2009964224 hasRelatedWork W2782044179 @default.
• W2009964224 hasRelatedWork W2964090935 @default.
• W2009964224 hasRelatedWork W4200384650 @default.
• W2009964224 hasVolume "16" @default.
• W2009964224 isParatext "false" @default.
• W2009964224 isRetracted "false" @default.
• W2009964224 magId "2009964224" @default.

• next