Matches in SemOpenAlex for { <https://semopenalex.org/work/W1885206433> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W1885206433 endingPage "280" @default.
- W1885206433 startingPage "267" @default.
- W1885206433 abstract "Loops are the most frequent cause of non-termination in string rewriting. In the general case, non-terminating, nonlooping string rewriting systems exist, and the uniform termination problem is undecidable. For rewriting with only one string rewriting rule, it is unknown whether non-terminating, non-looping systems exist and whether uniform termination is decidable. If in the one-rule case, non-termination is equivalent to the existence of loops, as McNaughton conjectures, then a decision procedure for the existence of loops also solves the uniform termination problem. As the existence of loops of bounded lengths is decidable, the question is raised how long shortest loops may be. We show that string rewriting rules exist whose shortest loops have superexponential lengths in the size of the rule." @default.
- W1885206433 created "2016-06-24" @default.
- W1885206433 creator A5019314446 @default.
- W1885206433 date "2002-01-01" @default.
- W1885206433 modified "2023-09-27" @default.
- W1885206433 title "Loops of Superexponential Lengths in One-Rule String Rewriting" @default.
- W1885206433 cites W128453691 @default.
- W1885206433 cites W1481059806 @default.
- W1885206433 cites W1503991720 @default.
- W1885206433 cites W1503994260 @default.
- W1885206433 cites W1600634095 @default.
- W1885206433 cites W1981958367 @default.
- W1885206433 cites W2001087572 @default.
- W1885206433 cites W2008924637 @default.
- W1885206433 cites W2021390843 @default.
- W1885206433 cites W2036341595 @default.
- W1885206433 cites W2115636831 @default.
- W1885206433 cites W2121757274 @default.
- W1885206433 cites W2171901785 @default.
- W1885206433 doi "https://doi.org/10.1007/3-540-45610-4_19" @default.
- W1885206433 hasPublicationYear "2002" @default.
- W1885206433 type Work @default.
- W1885206433 sameAs 1885206433 @default.
- W1885206433 citedByCount "4" @default.
- W1885206433 countsByYear W18852064332012 @default.
- W1885206433 crossrefType "book-chapter" @default.
- W1885206433 hasAuthorship W1885206433A5019314446 @default.
- W1885206433 hasConcept C11413529 @default.
- W1885206433 hasConcept C118615104 @default.
- W1885206433 hasConcept C134306372 @default.
- W1885206433 hasConcept C153269930 @default.
- W1885206433 hasConcept C154690210 @default.
- W1885206433 hasConcept C157486923 @default.
- W1885206433 hasConcept C159333733 @default.
- W1885206433 hasConcept C192034797 @default.
- W1885206433 hasConcept C199360897 @default.
- W1885206433 hasConcept C33923547 @default.
- W1885206433 hasConcept C34388435 @default.
- W1885206433 hasConcept C37914503 @default.
- W1885206433 hasConcept C41008148 @default.
- W1885206433 hasConcept C77906462 @default.
- W1885206433 hasConceptScore W1885206433C11413529 @default.
- W1885206433 hasConceptScore W1885206433C118615104 @default.
- W1885206433 hasConceptScore W1885206433C134306372 @default.
- W1885206433 hasConceptScore W1885206433C153269930 @default.
- W1885206433 hasConceptScore W1885206433C154690210 @default.
- W1885206433 hasConceptScore W1885206433C157486923 @default.
- W1885206433 hasConceptScore W1885206433C159333733 @default.
- W1885206433 hasConceptScore W1885206433C192034797 @default.
- W1885206433 hasConceptScore W1885206433C199360897 @default.
- W1885206433 hasConceptScore W1885206433C33923547 @default.
- W1885206433 hasConceptScore W1885206433C34388435 @default.
- W1885206433 hasConceptScore W1885206433C37914503 @default.
- W1885206433 hasConceptScore W1885206433C41008148 @default.
- W1885206433 hasConceptScore W1885206433C77906462 @default.
- W1885206433 hasLocation W18852064331 @default.
- W1885206433 hasOpenAccess W1885206433 @default.
- W1885206433 hasPrimaryLocation W18852064331 @default.
- W1885206433 hasRelatedWork W1544791595 @default.
- W1885206433 hasRelatedWork W157352985 @default.
- W1885206433 hasRelatedWork W1578181970 @default.
- W1885206433 hasRelatedWork W1584447520 @default.
- W1885206433 hasRelatedWork W1588177267 @default.
- W1885206433 hasRelatedWork W1591959737 @default.
- W1885206433 hasRelatedWork W1600634095 @default.
- W1885206433 hasRelatedWork W1666446684 @default.
- W1885206433 hasRelatedWork W1782843711 @default.
- W1885206433 hasRelatedWork W1829076681 @default.
- W1885206433 hasRelatedWork W1918457989 @default.
- W1885206433 hasRelatedWork W2008924637 @default.
- W1885206433 hasRelatedWork W2031613223 @default.
- W1885206433 hasRelatedWork W2054568242 @default.
- W1885206433 hasRelatedWork W2087323415 @default.
- W1885206433 hasRelatedWork W2093130576 @default.
- W1885206433 hasRelatedWork W2112954333 @default.
- W1885206433 hasRelatedWork W2129638526 @default.
- W1885206433 hasRelatedWork W3135391695 @default.
- W1885206433 hasRelatedWork W2586020253 @default.
- W1885206433 isParatext "false" @default.
- W1885206433 isRetracted "false" @default.
- W1885206433 magId "1885206433" @default.
- W1885206433 workType "book-chapter" @default.