Matches in SemOpenAlex for { <https://semopenalex.org/work/W4319049320> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W4319049320 endingPage "113705" @default.
- W4319049320 startingPage "113705" @default.
- W4319049320 abstract "We construct a FA–presentation ψ:L→N of the structure (N;S) for which a numerical characteristic r(n) defined as the maximum number ψ(w) for all strings w∈L of length less than or equal to n grows faster than any tower of exponents of a fixed height. This result leads us to a more general notion of a compressibility rate defined for FA–presentations of any FA–presentable structure. We show the existence of FA–presentations for the configuration space of a Turing machine and Cayley graphs of some groups for which it grows faster than any tower of exponents of a fixed height. For FA–presentations of the Presburger arithmetic (N;+) we show that it is bounded from above by a linear function." @default.
- W4319049320 created "2023-02-04" @default.
- W4319049320 creator A5033626728 @default.
- W4319049320 creator A5034299594 @default.
- W4319049320 creator A5082852988 @default.
- W4319049320 creator A5085103227 @default.
- W4319049320 date "2023-02-01" @default.
- W4319049320 modified "2023-09-27" @default.
- W4319049320 title "String compression in FA–presentable structures" @default.
- W4319049320 cites W1966217515 @default.
- W4319049320 cites W1998523218 @default.
- W4319049320 cites W2089351755 @default.
- W4319049320 cites W2962842353 @default.
- W4319049320 cites W3137103077 @default.
- W4319049320 cites W4212972664 @default.
- W4319049320 cites W4251800046 @default.
- W4319049320 cites W807168057 @default.
- W4319049320 doi "https://doi.org/10.1016/j.tcs.2023.113705" @default.
- W4319049320 hasPublicationYear "2023" @default.
- W4319049320 type Work @default.
- W4319049320 citedByCount "0" @default.
- W4319049320 crossrefType "journal-article" @default.
- W4319049320 hasAuthorship W4319049320A5033626728 @default.
- W4319049320 hasAuthorship W4319049320A5034299594 @default.
- W4319049320 hasAuthorship W4319049320A5082852988 @default.
- W4319049320 hasAuthorship W4319049320A5085103227 @default.
- W4319049320 hasBestOaLocation W43190493202 @default.
- W4319049320 hasConcept C111919701 @default.
- W4319049320 hasConcept C114614502 @default.
- W4319049320 hasConcept C118615104 @default.
- W4319049320 hasConcept C121332964 @default.
- W4319049320 hasConcept C127413603 @default.
- W4319049320 hasConcept C134306372 @default.
- W4319049320 hasConcept C147176958 @default.
- W4319049320 hasConcept C153269930 @default.
- W4319049320 hasConcept C157486923 @default.
- W4319049320 hasConcept C180016635 @default.
- W4319049320 hasConcept C199360897 @default.
- W4319049320 hasConcept C2777831296 @default.
- W4319049320 hasConcept C2778572836 @default.
- W4319049320 hasConcept C33923547 @default.
- W4319049320 hasConcept C34388435 @default.
- W4319049320 hasConcept C37914503 @default.
- W4319049320 hasConcept C41008148 @default.
- W4319049320 hasConcept C5852641 @default.
- W4319049320 hasConcept C97355855 @default.
- W4319049320 hasConcept C9870796 @default.
- W4319049320 hasConceptScore W4319049320C111919701 @default.
- W4319049320 hasConceptScore W4319049320C114614502 @default.
- W4319049320 hasConceptScore W4319049320C118615104 @default.
- W4319049320 hasConceptScore W4319049320C121332964 @default.
- W4319049320 hasConceptScore W4319049320C127413603 @default.
- W4319049320 hasConceptScore W4319049320C134306372 @default.
- W4319049320 hasConceptScore W4319049320C147176958 @default.
- W4319049320 hasConceptScore W4319049320C153269930 @default.
- W4319049320 hasConceptScore W4319049320C157486923 @default.
- W4319049320 hasConceptScore W4319049320C180016635 @default.
- W4319049320 hasConceptScore W4319049320C199360897 @default.
- W4319049320 hasConceptScore W4319049320C2777831296 @default.
- W4319049320 hasConceptScore W4319049320C2778572836 @default.
- W4319049320 hasConceptScore W4319049320C33923547 @default.
- W4319049320 hasConceptScore W4319049320C34388435 @default.
- W4319049320 hasConceptScore W4319049320C37914503 @default.
- W4319049320 hasConceptScore W4319049320C41008148 @default.
- W4319049320 hasConceptScore W4319049320C5852641 @default.
- W4319049320 hasConceptScore W4319049320C97355855 @default.
- W4319049320 hasConceptScore W4319049320C9870796 @default.
- W4319049320 hasLocation W43190493201 @default.
- W4319049320 hasLocation W43190493202 @default.
- W4319049320 hasLocation W43190493203 @default.
- W4319049320 hasOpenAccess W4319049320 @default.
- W4319049320 hasPrimaryLocation W43190493201 @default.
- W4319049320 hasRelatedWork W1598979804 @default.
- W4319049320 hasRelatedWork W1978042415 @default.
- W4319049320 hasRelatedWork W1978402756 @default.
- W4319049320 hasRelatedWork W2018828049 @default.
- W4319049320 hasRelatedWork W2042726902 @default.
- W4319049320 hasRelatedWork W2046712581 @default.
- W4319049320 hasRelatedWork W2136053165 @default.
- W4319049320 hasRelatedWork W2370340664 @default.
- W4319049320 hasRelatedWork W2951043270 @default.
- W4319049320 hasRelatedWork W3102909640 @default.
- W4319049320 hasVolume "947" @default.
- W4319049320 isParatext "false" @default.
- W4319049320 isRetracted "false" @default.
- W4319049320 workType "article" @default.