FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2131486491> ?p ?o ?g. }

• W2131486491 endingPage "344" @default.
• W2131486491 startingPage "329" @default.
• W2131486491 abstract "Semantic labeling is a powerful transformation technique to prove termination of term rewrite systems. The dual technique is unlabeling. For unlabeling it is essential to drop the so called decreasing rules which sometimes have to be added when applying semantic labeling. We indicate two problems concerning unlabeling and present our solutions.The first problem is that currently unlabeling cannot be applied as a modular step, since the decreasing rules are determined by a semantic labeling step which may have taken place much earlier. To this end, we give an implicit definition of decreasing rules that does not depend on any knowledge about preceding labelings.The second problem is that unlabeling is in general unsound. To solve this issue, we introduce the notion of extended termination problems. Moreover, we show how existing termination techniques can be lifted to operate on extended termination problems.All our proofs have been formalized in Isabelle/HOL as part of the IsaFoR/CeTA project." @default.
• W2131486491 created "2016-06-24" @default.
• W2131486491 creator A5000575454 @default.
• W2131486491 creator A5078037586 @default.
• W2131486491 date "2011-01-01" @default.
• W2131486491 modified "2023-09-28" @default.
• W2131486491 title "Modular and Certified Semantic Labeling and Unlabeling" @default.
• W2131486491 cites W1482572800 @default.
• W2131486491 cites W1508261706 @default.
• W2131486491 cites W1583295953 @default.
• W2131486491 cites W1606359510 @default.
• W2131486491 cites W1897365221 @default.
• W2131486491 cites W1970844917 @default.
• W2131486491 cites W2001932052 @default.
• W2131486491 cites W2037664852 @default.
• W2131486491 cites W2090855107 @default.
• W2131486491 cites W2111433946 @default.
• W2131486491 cites W2136514805 @default.
• W2131486491 cites W2168101531 @default.
• W2131486491 cites W2170550263 @default.
• W2131486491 cites W2583824770 @default.
• W2131486491 cites W2911543830 @default.
• W2131486491 cites W91193428 @default.
• W2131486491 cites W96821497 @default.
• W2131486491 cites W2762668203 @default.
• W2131486491 doi "https://doi.org/10.4230/lipics.rta.2011.329" @default.
• W2131486491 hasPublicationYear "2011" @default.
• W2131486491 type Work @default.
• W2131486491 sameAs 2131486491 @default.
• W2131486491 citedByCount "3" @default.
• W2131486491 countsByYear W21314864912012 @default.
• W2131486491 countsByYear W21314864912015 @default.
• W2131486491 countsByYear W21314864912020 @default.
• W2131486491 crossrefType "proceedings-article" @default.
• W2131486491 hasAuthorship W2131486491A5000575454 @default.
• W2131486491 hasAuthorship W2131486491A5078037586 @default.
• W2131486491 hasConcept C101468663 @default.
• W2131486491 hasConcept C104317684 @default.
• W2131486491 hasConcept C108710211 @default.
• W2131486491 hasConcept C121332964 @default.
• W2131486491 hasConcept C124952713 @default.
• W2131486491 hasConcept C142362112 @default.
• W2131486491 hasConcept C17435882 @default.
• W2131486491 hasConcept C17744445 @default.
• W2131486491 hasConcept C185592680 @default.
• W2131486491 hasConcept C199360897 @default.
• W2131486491 hasConcept C199539241 @default.
• W2131486491 hasConcept C204241405 @default.
• W2131486491 hasConcept C2524010 @default.
• W2131486491 hasConcept C2780980858 @default.
• W2131486491 hasConcept C33923547 @default.
• W2131486491 hasConcept C41008148 @default.
• W2131486491 hasConcept C46304622 @default.
• W2131486491 hasConcept C55493867 @default.
• W2131486491 hasConcept C61797465 @default.
• W2131486491 hasConcept C62520636 @default.
• W2131486491 hasConcept C80444323 @default.
• W2131486491 hasConceptScore W2131486491C101468663 @default.
• W2131486491 hasConceptScore W2131486491C104317684 @default.
• W2131486491 hasConceptScore W2131486491C108710211 @default.
• W2131486491 hasConceptScore W2131486491C121332964 @default.
• W2131486491 hasConceptScore W2131486491C124952713 @default.
• W2131486491 hasConceptScore W2131486491C142362112 @default.
• W2131486491 hasConceptScore W2131486491C17435882 @default.
• W2131486491 hasConceptScore W2131486491C17744445 @default.
• W2131486491 hasConceptScore W2131486491C185592680 @default.
• W2131486491 hasConceptScore W2131486491C199360897 @default.
• W2131486491 hasConceptScore W2131486491C199539241 @default.
• W2131486491 hasConceptScore W2131486491C204241405 @default.
• W2131486491 hasConceptScore W2131486491C2524010 @default.
• W2131486491 hasConceptScore W2131486491C2780980858 @default.
• W2131486491 hasConceptScore W2131486491C33923547 @default.
• W2131486491 hasConceptScore W2131486491C41008148 @default.
• W2131486491 hasConceptScore W2131486491C46304622 @default.
• W2131486491 hasConceptScore W2131486491C55493867 @default.
• W2131486491 hasConceptScore W2131486491C61797465 @default.
• W2131486491 hasConceptScore W2131486491C62520636 @default.
• W2131486491 hasConceptScore W2131486491C80444323 @default.
• W2131486491 hasLocation W21314864911 @default.
• W2131486491 hasOpenAccess W2131486491 @default.
• W2131486491 hasPrimaryLocation W21314864911 @default.
• W2131486491 hasRelatedWork W141761068 @default.
• W2131486491 hasRelatedWork W145901300 @default.
• W2131486491 hasRelatedWork W1521299176 @default.
• W2131486491 hasRelatedWork W2153822168 @default.
• W2131486491 hasRelatedWork W2168896930 @default.
• W2131486491 hasRelatedWork W2202863966 @default.
• W2131486491 hasRelatedWork W2235059062 @default.
• W2131486491 hasRelatedWork W2546302781 @default.
• W2131486491 hasRelatedWork W2553508933 @default.
• W2131486491 hasRelatedWork W2952141118 @default.
• W2131486491 hasRelatedWork W2962810194 @default.
• W2131486491 hasRelatedWork W3008478993 @default.
• W2131486491 hasRelatedWork W3099844725 @default.
• W2131486491 hasRelatedWork W3104721040 @default.
• W2131486491 hasRelatedWork W3117045059 @default.
• W2131486491 hasRelatedWork W3156427813 @default.
• W2131486491 hasRelatedWork W3207460439 @default.

• next