Matches in SemOpenAlex for { <https://semopenalex.org/work/W1489016793> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W1489016793 endingPage "342" @default.
- W1489016793 startingPage "328" @default.
- W1489016793 abstract "A rewriting system can be shown terminating by an order-preserving mapping into a well-founded domain. We present an instance of this scheme for string rewriting where the domain is a set of square matrices of natural numbers, equipped with a well-founded ordering that is not total. The coefficients of the matrices can be found via a transformation to a boolean satisfiability problem. The matrix method also supports relative termination, thus it fits with the dependency pair method as well. Our implementation is able to automatically solve hard termination problems." @default.
- W1489016793 created "2016-06-24" @default.
- W1489016793 creator A5019533838 @default.
- W1489016793 creator A5091737359 @default.
- W1489016793 date "2006-01-01" @default.
- W1489016793 modified "2023-10-17" @default.
- W1489016793 title "Termination of String Rewriting with Matrix Interpretations" @default.
- W1489016793 cites W1494959176 @default.
- W1489016793 cites W1524964016 @default.
- W1489016793 cites W1529656135 @default.
- W1489016793 cites W1558166004 @default.
- W1489016793 cites W1950282396 @default.
- W1489016793 cites W2090855107 @default.
- W1489016793 cites W2137374798 @default.
- W1489016793 cites W4302964898 @default.
- W1489016793 cites W584369073 @default.
- W1489016793 doi "https://doi.org/10.1007/11805618_25" @default.
- W1489016793 hasPublicationYear "2006" @default.
- W1489016793 type Work @default.
- W1489016793 sameAs 1489016793 @default.
- W1489016793 citedByCount "46" @default.
- W1489016793 countsByYear W14890167932012 @default.
- W1489016793 countsByYear W14890167932013 @default.
- W1489016793 countsByYear W14890167932014 @default.
- W1489016793 countsByYear W14890167932015 @default.
- W1489016793 countsByYear W14890167932016 @default.
- W1489016793 countsByYear W14890167932021 @default.
- W1489016793 countsByYear W14890167932022 @default.
- W1489016793 countsByYear W14890167932023 @default.
- W1489016793 crossrefType "book-chapter" @default.
- W1489016793 hasAuthorship W1489016793A5019533838 @default.
- W1489016793 hasAuthorship W1489016793A5091737359 @default.
- W1489016793 hasConcept C104317684 @default.
- W1489016793 hasConcept C106487976 @default.
- W1489016793 hasConcept C11413529 @default.
- W1489016793 hasConcept C134306372 @default.
- W1489016793 hasConcept C154690210 @default.
- W1489016793 hasConcept C157486923 @default.
- W1489016793 hasConcept C159333733 @default.
- W1489016793 hasConcept C159985019 @default.
- W1489016793 hasConcept C168773769 @default.
- W1489016793 hasConcept C177264268 @default.
- W1489016793 hasConcept C185592680 @default.
- W1489016793 hasConcept C192562407 @default.
- W1489016793 hasConcept C199360897 @default.
- W1489016793 hasConcept C204241405 @default.
- W1489016793 hasConcept C33923547 @default.
- W1489016793 hasConcept C36503486 @default.
- W1489016793 hasConcept C37914503 @default.
- W1489016793 hasConcept C41008148 @default.
- W1489016793 hasConcept C55493867 @default.
- W1489016793 hasConcept C6943359 @default.
- W1489016793 hasConcept C77618280 @default.
- W1489016793 hasConcept C80444323 @default.
- W1489016793 hasConceptScore W1489016793C104317684 @default.
- W1489016793 hasConceptScore W1489016793C106487976 @default.
- W1489016793 hasConceptScore W1489016793C11413529 @default.
- W1489016793 hasConceptScore W1489016793C134306372 @default.
- W1489016793 hasConceptScore W1489016793C154690210 @default.
- W1489016793 hasConceptScore W1489016793C157486923 @default.
- W1489016793 hasConceptScore W1489016793C159333733 @default.
- W1489016793 hasConceptScore W1489016793C159985019 @default.
- W1489016793 hasConceptScore W1489016793C168773769 @default.
- W1489016793 hasConceptScore W1489016793C177264268 @default.
- W1489016793 hasConceptScore W1489016793C185592680 @default.
- W1489016793 hasConceptScore W1489016793C192562407 @default.
- W1489016793 hasConceptScore W1489016793C199360897 @default.
- W1489016793 hasConceptScore W1489016793C204241405 @default.
- W1489016793 hasConceptScore W1489016793C33923547 @default.
- W1489016793 hasConceptScore W1489016793C36503486 @default.
- W1489016793 hasConceptScore W1489016793C37914503 @default.
- W1489016793 hasConceptScore W1489016793C41008148 @default.
- W1489016793 hasConceptScore W1489016793C55493867 @default.
- W1489016793 hasConceptScore W1489016793C6943359 @default.
- W1489016793 hasConceptScore W1489016793C77618280 @default.
- W1489016793 hasConceptScore W1489016793C80444323 @default.
- W1489016793 hasLocation W14890167931 @default.
- W1489016793 hasOpenAccess W1489016793 @default.
- W1489016793 hasPrimaryLocation W14890167931 @default.
- W1489016793 hasRelatedWork W157860245 @default.
- W1489016793 hasRelatedWork W1584297074 @default.
- W1489016793 hasRelatedWork W1975449381 @default.
- W1489016793 hasRelatedWork W2011620436 @default.
- W1489016793 hasRelatedWork W2963976710 @default.
- W1489016793 hasRelatedWork W3013075722 @default.
- W1489016793 hasRelatedWork W4292559440 @default.
- W1489016793 hasRelatedWork W4301352211 @default.
- W1489016793 hasRelatedWork W4378211878 @default.
- W1489016793 hasRelatedWork W2763917352 @default.
- W1489016793 isParatext "false" @default.
- W1489016793 isRetracted "false" @default.
- W1489016793 magId "1489016793" @default.
- W1489016793 workType "book-chapter" @default.