Matches in SemOpenAlex for { <https://semopenalex.org/work/W1495283197> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W1495283197 abstract "Semantic labelling is a transformational technique for proving termination of Term Rewriting Systems (TRSs). Only its variant with finite sets of labels was used so far in tools for automatic termination proving and variants with infinite sets of labels were considered not to be suitable for automation. We show that such automation can be achieved for semantic labelling with natural numbers, in combination with recursive path ordering (RPO). In order to do so we developed algorithms to deal with recursive path ordering for these infinite labelled systems. Using these techniques TPA, a tool developed by the first author, is the only current tool that can prove termination of the SUBST system automatically." @default.
- W1495283197 created "2016-06-24" @default.
- W1495283197 creator A5006048860 @default.
- W1495283197 creator A5080214204 @default.
- W1495283197 date "2006-01-01" @default.
- W1495283197 modified "2023-10-16" @default.
- W1495283197 title "Automation of Recursive Path Ordering for Infinite Labelled Rewrite Systems" @default.
- W1495283197 cites W1483430268 @default.
- W1495283197 cites W1495283197 @default.
- W1495283197 cites W1496103894 @default.
- W1495283197 cites W1521232193 @default.
- W1495283197 cites W1524964016 @default.
- W1495283197 cites W1970547272 @default.
- W1495283197 cites W1994958005 @default.
- W1495283197 cites W2086747974 @default.
- W1495283197 cites W2170550263 @default.
- W1495283197 cites W2507006525 @default.
- W1495283197 cites W4230919050 @default.
- W1495283197 doi "https://doi.org/10.1007/11814771_30" @default.
- W1495283197 hasPublicationYear "2006" @default.
- W1495283197 type Work @default.
- W1495283197 sameAs 1495283197 @default.
- W1495283197 citedByCount "12" @default.
- W1495283197 crossrefType "book-chapter" @default.
- W1495283197 hasAuthorship W1495283197A5006048860 @default.
- W1495283197 hasAuthorship W1495283197A5080214204 @default.
- W1495283197 hasBestOaLocation W14952831972 @default.
- W1495283197 hasConcept C11413529 @default.
- W1495283197 hasConcept C115901376 @default.
- W1495283197 hasConcept C121332964 @default.
- W1495283197 hasConcept C127413603 @default.
- W1495283197 hasConcept C154690210 @default.
- W1495283197 hasConcept C199360897 @default.
- W1495283197 hasConcept C2777735758 @default.
- W1495283197 hasConcept C41008148 @default.
- W1495283197 hasConcept C61797465 @default.
- W1495283197 hasConcept C62520636 @default.
- W1495283197 hasConcept C78519656 @default.
- W1495283197 hasConcept C80444323 @default.
- W1495283197 hasConceptScore W1495283197C11413529 @default.
- W1495283197 hasConceptScore W1495283197C115901376 @default.
- W1495283197 hasConceptScore W1495283197C121332964 @default.
- W1495283197 hasConceptScore W1495283197C127413603 @default.
- W1495283197 hasConceptScore W1495283197C154690210 @default.
- W1495283197 hasConceptScore W1495283197C199360897 @default.
- W1495283197 hasConceptScore W1495283197C2777735758 @default.
- W1495283197 hasConceptScore W1495283197C41008148 @default.
- W1495283197 hasConceptScore W1495283197C61797465 @default.
- W1495283197 hasConceptScore W1495283197C62520636 @default.
- W1495283197 hasConceptScore W1495283197C78519656 @default.
- W1495283197 hasConceptScore W1495283197C80444323 @default.
- W1495283197 hasLocation W14952831971 @default.
- W1495283197 hasLocation W14952831972 @default.
- W1495283197 hasOpenAccess W1495283197 @default.
- W1495283197 hasPrimaryLocation W14952831971 @default.
- W1495283197 hasRelatedWork W1527862632 @default.
- W1495283197 hasRelatedWork W1652311832 @default.
- W1495283197 hasRelatedWork W2118300983 @default.
- W1495283197 hasRelatedWork W2135396778 @default.
- W1495283197 hasRelatedWork W2166247150 @default.
- W1495283197 hasRelatedWork W2243428364 @default.
- W1495283197 hasRelatedWork W2462453872 @default.
- W1495283197 hasRelatedWork W3207171446 @default.
- W1495283197 hasRelatedWork W4243252198 @default.
- W1495283197 hasRelatedWork W4245713008 @default.
- W1495283197 isParatext "false" @default.
- W1495283197 isRetracted "false" @default.
- W1495283197 magId "1495283197" @default.
- W1495283197 workType "book-chapter" @default.