Matches in SemOpenAlex for { <https://semopenalex.org/work/W2912421483> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W2912421483 abstract "We give an overview of applications of weighted finite automata to automatically prove termination of rewriting. Instances of this approach are: standard and arctic matrix interpretations, and the match bound technique. These methods have been developed in recent years, and they are being used by today's leading automated termination prover software." @default.
- W2912421483 created "2019-02-21" @default.
- W2912421483 creator A5091737359 @default.
- W2912421483 date "2009-01-01" @default.
- W2912421483 modified "2023-10-14" @default.
- W2912421483 title "Automatic Termination" @default.
- W2912421483 cites W1489016793 @default.
- W2912421483 cites W1504878076 @default.
- W2912421483 cites W1505482284 @default.
- W2912421483 cites W1802519271 @default.
- W2912421483 cites W1950282396 @default.
- W2912421483 cites W1994958005 @default.
- W2912421483 cites W2025885449 @default.
- W2912421483 cites W2034188445 @default.
- W2912421483 cites W2054568242 @default.
- W2912421483 cites W2063328934 @default.
- W2912421483 cites W2067772798 @default.
- W2912421483 cites W2068478937 @default.
- W2912421483 cites W2087912140 @default.
- W2912421483 cites W2090855107 @default.
- W2912421483 cites W2093130576 @default.
- W2912421483 cites W2111433946 @default.
- W2912421483 cites W2136514805 @default.
- W2912421483 cites W2137374798 @default.
- W2912421483 cites W2171901785 @default.
- W2912421483 cites W584369073 @default.
- W2912421483 cites W1812906155 @default.
- W2912421483 doi "https://doi.org/10.1007/978-3-642-02348-4_1" @default.
- W2912421483 hasPublicationYear "2009" @default.
- W2912421483 type Work @default.
- W2912421483 sameAs 2912421483 @default.
- W2912421483 citedByCount "3" @default.
- W2912421483 countsByYear W29124214832016 @default.
- W2912421483 countsByYear W29124214832019 @default.
- W2912421483 crossrefType "book-chapter" @default.
- W2912421483 hasAuthorship W2912421483A5091737359 @default.
- W2912421483 hasConcept C108710211 @default.
- W2912421483 hasConcept C112505250 @default.
- W2912421483 hasConcept C11413529 @default.
- W2912421483 hasConcept C154690210 @default.
- W2912421483 hasConcept C159718280 @default.
- W2912421483 hasConcept C199360897 @default.
- W2912421483 hasConcept C206880738 @default.
- W2912421483 hasConcept C2524010 @default.
- W2912421483 hasConcept C2777904410 @default.
- W2912421483 hasConcept C33923547 @default.
- W2912421483 hasConcept C41008148 @default.
- W2912421483 hasConcept C80444323 @default.
- W2912421483 hasConceptScore W2912421483C108710211 @default.
- W2912421483 hasConceptScore W2912421483C112505250 @default.
- W2912421483 hasConceptScore W2912421483C11413529 @default.
- W2912421483 hasConceptScore W2912421483C154690210 @default.
- W2912421483 hasConceptScore W2912421483C159718280 @default.
- W2912421483 hasConceptScore W2912421483C199360897 @default.
- W2912421483 hasConceptScore W2912421483C206880738 @default.
- W2912421483 hasConceptScore W2912421483C2524010 @default.
- W2912421483 hasConceptScore W2912421483C2777904410 @default.
- W2912421483 hasConceptScore W2912421483C33923547 @default.
- W2912421483 hasConceptScore W2912421483C41008148 @default.
- W2912421483 hasConceptScore W2912421483C80444323 @default.
- W2912421483 hasLocation W29124214831 @default.
- W2912421483 hasOpenAccess W2912421483 @default.
- W2912421483 hasPrimaryLocation W29124214831 @default.
- W2912421483 hasRelatedWork W1039432934 @default.
- W2912421483 hasRelatedWork W1482572800 @default.
- W2912421483 hasRelatedWork W1963220690 @default.
- W2912421483 hasRelatedWork W1969356716 @default.
- W2912421483 hasRelatedWork W1977781899 @default.
- W2912421483 hasRelatedWork W1998432959 @default.
- W2912421483 hasRelatedWork W2017924219 @default.
- W2912421483 hasRelatedWork W2054554282 @default.
- W2912421483 hasRelatedWork W2070717690 @default.
- W2912421483 hasRelatedWork W2084417024 @default.
- W2912421483 hasRelatedWork W2120500179 @default.
- W2912421483 hasRelatedWork W2408731984 @default.
- W2912421483 hasRelatedWork W2501953491 @default.
- W2912421483 hasRelatedWork W2564359929 @default.
- W2912421483 hasRelatedWork W2569846767 @default.
- W2912421483 hasRelatedWork W2808968707 @default.
- W2912421483 hasRelatedWork W2952159588 @default.
- W2912421483 hasRelatedWork W2974174239 @default.
- W2912421483 hasRelatedWork W3171006315 @default.
- W2912421483 hasRelatedWork W73703791 @default.
- W2912421483 isParatext "false" @default.
- W2912421483 isRetracted "false" @default.
- W2912421483 magId "2912421483" @default.
- W2912421483 workType "book-chapter" @default.