FRINK Linked Data Fragments server

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

• W1949102480 endingPage "55" @default.
• W1949102480 startingPage "35" @default.
• W1949102480 abstract "We generalize the classical definition of effectively closed subshift to finitely generated groups. We study classical stability properties of this class and then extend this notion by allowing the usage of an oracle to the word problem of a group. This new class of subshifts forms a conjugacy class that contains all sofic subshifts. Motivated by the question of whether there exists a group where the class of sofic subshifts coincides with that of effective subshifts, we show that the inclusion is strict for several groups, including recursively presented groups with undecidable word problem, amenable groups and groups with more than two ends. We also provide an extended model of Turing machine which uses the group itself as a tape and characterizes our extended notion of effectiveness. As applications of these machines we prove that the origin constrained domino problem is undecidable for any group of the form G×Z subject to a technical condition on G and we present a simulation theorem which is valid in any finitely generated group." @default.
• W1949102480 created "2016-06-24" @default.
• W1949102480 creator A5009309137 @default.
• W1949102480 creator A5063447100 @default.
• W1949102480 creator A5070296908 @default.
• W1949102480 date "2017-01-01" @default.
• W1949102480 modified "2023-10-16" @default.
• W1949102480 title "A notion of effectiveness for subshifts on finitely generated groups" @default.
• W1949102480 cites W2007166036 @default.
• W1949102480 cites W2013120724 @default.
• W1949102480 cites W2052038522 @default.
• W1949102480 cites W2052399269 @default.
• W1949102480 cites W2053977338 @default.
• W1949102480 cites W2080896750 @default.
• W1949102480 cites W2082163287 @default.
• W1949102480 cites W2949109770 @default.
• W1949102480 cites W3098115869 @default.
• W1949102480 cites W3098758185 @default.
• W1949102480 cites W4242358482 @default.
• W1949102480 doi "https://doi.org/10.1016/j.tcs.2016.11.033" @default.
• W1949102480 hasPublicationYear "2017" @default.
• W1949102480 type Work @default.
• W1949102480 sameAs 1949102480 @default.
• W1949102480 citedByCount "16" @default.
• W1949102480 countsByYear W19491024802015 @default.
• W1949102480 countsByYear W19491024802017 @default.
• W1949102480 countsByYear W19491024802018 @default.
• W1949102480 countsByYear W19491024802019 @default.
• W1949102480 countsByYear W19491024802020 @default.
• W1949102480 countsByYear W19491024802022 @default.
• W1949102480 countsByYear W19491024802023 @default.
• W1949102480 crossrefType "journal-article" @default.
• W1949102480 hasAuthorship W1949102480A5009309137 @default.
• W1949102480 hasAuthorship W1949102480A5063447100 @default.
• W1949102480 hasAuthorship W1949102480A5070296908 @default.
• W1949102480 hasBestOaLocation W19491024801 @default.
• W1949102480 hasConcept C11413529 @default.
• W1949102480 hasConcept C114614502 @default.
• W1949102480 hasConcept C115903868 @default.
• W1949102480 hasConcept C118615104 @default.
• W1949102480 hasConcept C137343475 @default.
• W1949102480 hasConcept C153269930 @default.
• W1949102480 hasConcept C154945302 @default.
• W1949102480 hasConcept C161790260 @default.
• W1949102480 hasConcept C162860070 @default.
• W1949102480 hasConcept C178790620 @default.
• W1949102480 hasConcept C185592680 @default.
• W1949102480 hasConcept C192034797 @default.
• W1949102480 hasConcept C2524010 @default.
• W1949102480 hasConcept C2776416436 @default.
• W1949102480 hasConcept C2777212361 @default.
• W1949102480 hasConcept C2780526409 @default.
• W1949102480 hasConcept C2780811992 @default.
• W1949102480 hasConcept C2781311116 @default.
• W1949102480 hasConcept C29248071 @default.
• W1949102480 hasConcept C33923547 @default.
• W1949102480 hasConcept C41008148 @default.
• W1949102480 hasConcept C45374587 @default.
• W1949102480 hasConcept C55166926 @default.
• W1949102480 hasConcept C55493867 @default.
• W1949102480 hasConcept C58249144 @default.
• W1949102480 hasConcept C87945829 @default.
• W1949102480 hasConcept C90805587 @default.
• W1949102480 hasConcept C90988201 @default.
• W1949102480 hasConcept C94375191 @default.
• W1949102480 hasConceptScore W1949102480C11413529 @default.
• W1949102480 hasConceptScore W1949102480C114614502 @default.
• W1949102480 hasConceptScore W1949102480C115903868 @default.
• W1949102480 hasConceptScore W1949102480C118615104 @default.
• W1949102480 hasConceptScore W1949102480C137343475 @default.
• W1949102480 hasConceptScore W1949102480C153269930 @default.
• W1949102480 hasConceptScore W1949102480C154945302 @default.
• W1949102480 hasConceptScore W1949102480C161790260 @default.
• W1949102480 hasConceptScore W1949102480C162860070 @default.
• W1949102480 hasConceptScore W1949102480C178790620 @default.
• W1949102480 hasConceptScore W1949102480C185592680 @default.
• W1949102480 hasConceptScore W1949102480C192034797 @default.
• W1949102480 hasConceptScore W1949102480C2524010 @default.
• W1949102480 hasConceptScore W1949102480C2776416436 @default.
• W1949102480 hasConceptScore W1949102480C2777212361 @default.
• W1949102480 hasConceptScore W1949102480C2780526409 @default.
• W1949102480 hasConceptScore W1949102480C2780811992 @default.
• W1949102480 hasConceptScore W1949102480C2781311116 @default.
• W1949102480 hasConceptScore W1949102480C29248071 @default.
• W1949102480 hasConceptScore W1949102480C33923547 @default.
• W1949102480 hasConceptScore W1949102480C41008148 @default.
• W1949102480 hasConceptScore W1949102480C45374587 @default.
• W1949102480 hasConceptScore W1949102480C55166926 @default.
• W1949102480 hasConceptScore W1949102480C55493867 @default.
• W1949102480 hasConceptScore W1949102480C58249144 @default.
• W1949102480 hasConceptScore W1949102480C87945829 @default.
• W1949102480 hasConceptScore W1949102480C90805587 @default.
• W1949102480 hasConceptScore W1949102480C90988201 @default.
• W1949102480 hasConceptScore W1949102480C94375191 @default.
• W1949102480 hasFunder F4320320883 @default.
• W1949102480 hasLocation W19491024801 @default.
• W1949102480 hasLocation W19491024802 @default.
• W1949102480 hasLocation W19491024803 @default.

• next