Matches in SemOpenAlex for { <https://semopenalex.org/work/W1805991041> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W1805991041 endingPage "300" @default.
- W1805991041 startingPage "285" @default.
- W1805991041 abstract "We present new techniques to prove termination of cycle rewriting, that is, string rewriting on cycles, which are strings in which the start and end are connected. Our main technique is to transform cycle rewriting into string rewriting and then apply state of the art techniques to prove termination of the string rewrite system. We present three such transformations, and prove for all of them that they are sound and complete. Apart from this transformational approach, we extend the use of matrix interpretations as was studied before. We present several experiments showing that often our new techniques succeed where earlier techniques fail." @default.
- W1805991041 created "2016-06-24" @default.
- W1805991041 creator A5031293152 @default.
- W1805991041 creator A5080214204 @default.
- W1805991041 date "2015-01-01" @default.
- W1805991041 modified "2023-09-22" @default.
- W1805991041 title "Transforming Cycle Rewriting into String Rewriting" @default.
- W1805991041 cites W1489016793 @default.
- W1805991041 cites W1500847586 @default.
- W1805991041 cites W1504878076 @default.
- W1805991041 cites W1529656135 @default.
- W1805991041 cites W2041799549 @default.
- W1805991041 cites W2089309203 @default.
- W1805991041 cites W2115215132 @default.
- W1805991041 cites W2125223606 @default.
- W1805991041 cites W2125782403 @default.
- W1805991041 cites W2128968863 @default.
- W1805991041 cites W2136514805 @default.
- W1805991041 cites W2156645025 @default.
- W1805991041 doi "https://doi.org/10.4230/lipics.rta.2015.285" @default.
- W1805991041 hasPublicationYear "2015" @default.
- W1805991041 type Work @default.
- W1805991041 sameAs 1805991041 @default.
- W1805991041 citedByCount "0" @default.
- W1805991041 crossrefType "proceedings-article" @default.
- W1805991041 hasAuthorship W1805991041A5031293152 @default.
- W1805991041 hasAuthorship W1805991041A5080214204 @default.
- W1805991041 hasConcept C154690210 @default.
- W1805991041 hasConcept C157486923 @default.
- W1805991041 hasConcept C199360897 @default.
- W1805991041 hasConcept C33923547 @default.
- W1805991041 hasConcept C37914503 @default.
- W1805991041 hasConcept C41008148 @default.
- W1805991041 hasConcept C77906462 @default.
- W1805991041 hasConceptScore W1805991041C154690210 @default.
- W1805991041 hasConceptScore W1805991041C157486923 @default.
- W1805991041 hasConceptScore W1805991041C199360897 @default.
- W1805991041 hasConceptScore W1805991041C33923547 @default.
- W1805991041 hasConceptScore W1805991041C37914503 @default.
- W1805991041 hasConceptScore W1805991041C41008148 @default.
- W1805991041 hasConceptScore W1805991041C77906462 @default.
- W1805991041 hasLocation W18059910411 @default.
- W1805991041 hasOpenAccess W1805991041 @default.
- W1805991041 hasPrimaryLocation W18059910411 @default.
- W1805991041 hasRelatedWork W1505988186 @default.
- W1805991041 hasRelatedWork W1533534652 @default.
- W1805991041 hasRelatedWork W1534477878 @default.
- W1805991041 hasRelatedWork W153766502 @default.
- W1805991041 hasRelatedWork W1540190633 @default.
- W1805991041 hasRelatedWork W1564362050 @default.
- W1805991041 hasRelatedWork W1677884663 @default.
- W1805991041 hasRelatedWork W1862909668 @default.
- W1805991041 hasRelatedWork W1970844917 @default.
- W1805991041 hasRelatedWork W2025885449 @default.
- W1805991041 hasRelatedWork W2089309203 @default.
- W1805991041 hasRelatedWork W2119937562 @default.
- W1805991041 hasRelatedWork W2134671032 @default.
- W1805991041 hasRelatedWork W2171438322 @default.
- W1805991041 hasRelatedWork W2343223407 @default.
- W1805991041 hasRelatedWork W2524395091 @default.
- W1805991041 hasRelatedWork W2564250633 @default.
- W1805991041 hasRelatedWork W3175766486 @default.
- W1805991041 hasRelatedWork W572432674 @default.
- W1805991041 hasRelatedWork W1812906155 @default.
- W1805991041 hasVolume "36" @default.
- W1805991041 isParatext "false" @default.
- W1805991041 isRetracted "false" @default.
- W1805991041 magId "1805991041" @default.
- W1805991041 workType "article" @default.