FRINK Linked Data Fragments server

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

• W2160428591 startingPage "266" @default.
• W2160428591 abstract "Matrix interpretations are a powerful technique for proving termination of term rewrite systems, which is based on the well-known paradigm of interpreting terms into a domain equipped with a suitable well-founded order, such that every rewrite step causes a strict decrease. Traditionally, one uses vectors of non-negative numbers as domain, where two vectors are in the order relation if there is a strict decrease in the respective first components and a weak decrease in all other components. In this paper, we study various alternative well-founded orders on vectors of non-negative numbers based on vector norms and compare the resulting variants of matrix interpretations to each other and to the traditional approach. These comparisons are mainly theoretical in nature. We do, however, also identify one of these variants as a proper generalization of traditional matrix interpretations as a stand-alone termination method, which has the additional advantage that it gives rise to a more powerful implementation." @default.
• W2160428591 created "2016-06-24" @default.
• W2160428591 creator A5044286856 @default.
• W2160428591 creator A5049118633 @default.
• W2160428591 date "2011-01-01" @default.
• W2160428591 modified "2023-09-26" @default.
• W2160428591 title "Revisiting Matrix Interpretations for Proving Termination of Term Rewriting" @default.
• W2160428591 cites W1489016793 @default.
• W2160428591 cites W1529656135 @default.
• W2160428591 cites W1552495765 @default.
• W2160428591 cites W1555572117 @default.
• W2160428591 cites W1568532679 @default.
• W2160428591 cites W1583295953 @default.
• W2160428591 cites W2085541571 @default.
• W2160428591 cites W2099083823 @default.
• W2160428591 cites W2122805723 @default.
• W2160428591 cites W2136514805 @default.
• W2160428591 cites W2156645025 @default.
• W2160428591 cites W2610857016 @default.
• W2160428591 doi "https://doi.org/10.4230/lipics.rta.2011.251" @default.
• W2160428591 hasPublicationYear "2011" @default.
• W2160428591 type Work @default.
• W2160428591 sameAs 2160428591 @default.
• W2160428591 citedByCount "2" @default.
• W2160428591 countsByYear W21604285912021 @default.
• W2160428591 countsByYear W21604285912023 @default.
• W2160428591 crossrefType "proceedings-article" @default.
• W2160428591 hasAuthorship W2160428591A5044286856 @default.
• W2160428591 hasAuthorship W2160428591A5049118633 @default.
• W2160428591 hasConcept C10138342 @default.
• W2160428591 hasConcept C106487976 @default.
• W2160428591 hasConcept C11413529 @default.
• W2160428591 hasConcept C121332964 @default.
• W2160428591 hasConcept C124101348 @default.
• W2160428591 hasConcept C134306372 @default.
• W2160428591 hasConcept C136119220 @default.
• W2160428591 hasConcept C154690210 @default.
• W2160428591 hasConcept C159985019 @default.
• W2160428591 hasConcept C162324750 @default.
• W2160428591 hasConcept C177148314 @default.
• W2160428591 hasConcept C182306322 @default.
• W2160428591 hasConcept C192562407 @default.
• W2160428591 hasConcept C199360897 @default.
• W2160428591 hasConcept C202444582 @default.
• W2160428591 hasConcept C25343380 @default.
• W2160428591 hasConcept C33923547 @default.
• W2160428591 hasConcept C36503486 @default.
• W2160428591 hasConcept C41008148 @default.
• W2160428591 hasConcept C61797465 @default.
• W2160428591 hasConcept C62520636 @default.
• W2160428591 hasConcept C80444323 @default.
• W2160428591 hasConceptScore W2160428591C10138342 @default.
• W2160428591 hasConceptScore W2160428591C106487976 @default.
• W2160428591 hasConceptScore W2160428591C11413529 @default.
• W2160428591 hasConceptScore W2160428591C121332964 @default.
• W2160428591 hasConceptScore W2160428591C124101348 @default.
• W2160428591 hasConceptScore W2160428591C134306372 @default.
• W2160428591 hasConceptScore W2160428591C136119220 @default.
• W2160428591 hasConceptScore W2160428591C154690210 @default.
• W2160428591 hasConceptScore W2160428591C159985019 @default.
• W2160428591 hasConceptScore W2160428591C162324750 @default.
• W2160428591 hasConceptScore W2160428591C177148314 @default.
• W2160428591 hasConceptScore W2160428591C182306322 @default.
• W2160428591 hasConceptScore W2160428591C192562407 @default.
• W2160428591 hasConceptScore W2160428591C199360897 @default.
• W2160428591 hasConceptScore W2160428591C202444582 @default.
• W2160428591 hasConceptScore W2160428591C25343380 @default.
• W2160428591 hasConceptScore W2160428591C33923547 @default.
• W2160428591 hasConceptScore W2160428591C36503486 @default.
• W2160428591 hasConceptScore W2160428591C41008148 @default.
• W2160428591 hasConceptScore W2160428591C61797465 @default.
• W2160428591 hasConceptScore W2160428591C62520636 @default.
• W2160428591 hasConceptScore W2160428591C80444323 @default.
• W2160428591 hasLocation W21604285911 @default.
• W2160428591 hasOpenAccess W2160428591 @default.
• W2160428591 hasPrimaryLocation W21604285911 @default.
• W2160428591 hasRelatedWork W1489887862 @default.
• W2160428591 hasRelatedWork W1495626710 @default.
• W2160428591 hasRelatedWork W1496043728 @default.
• W2160428591 hasRelatedWork W1521299176 @default.
• W2160428591 hasRelatedWork W1554961415 @default.
• W2160428591 hasRelatedWork W1964551226 @default.
• W2160428591 hasRelatedWork W1969281417 @default.
• W2160428591 hasRelatedWork W2024821946 @default.
• W2160428591 hasRelatedWork W2037364924 @default.
• W2160428591 hasRelatedWork W2037664852 @default.
• W2160428591 hasRelatedWork W2083907114 @default.
• W2160428591 hasRelatedWork W2088747311 @default.
• W2160428591 hasRelatedWork W2099166695 @default.
• W2160428591 hasRelatedWork W2127025991 @default.
• W2160428591 hasRelatedWork W2243212299 @default.
• W2160428591 hasRelatedWork W2294311355 @default.
• W2160428591 hasRelatedWork W2342463686 @default.
• W2160428591 hasRelatedWork W2560320038 @default.
• W2160428591 hasRelatedWork W3099844725 @default.
• W2160428591 hasRelatedWork W96821497 @default.
• W2160428591 hasVolume "10" @default.
• W2160428591 isParatext "false" @default.
• W2160428591 isRetracted "false" @default.

• next