Matches in SemOpenAlex for { <https://semopenalex.org/work/W14099924> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W14099924 endingPage "334" @default.
- W14099924 startingPage "320" @default.
- W14099924 abstract "Matrix interpretations are a powerful technique for proving termination of term rewrite systems. Depending on the underlying domain of interpretation, one distinguishes between matrix interpretations over the real, rational and natural numbers. In this paper we clarify the relationship between all three variants, showing that matrix interpretations over the reals are more powerful than matrix interpretations over the rationals, which are in turn more powerful than matrix interpretations over the natural numbers. We also clarify the ramifications of matrix dimension on termination proving power. To this end, we establish a hierarchy of matrix interpretations with respect to matrix dimension and show it to be infinite, with each level properly subsuming its predecessor." @default.
- W14099924 created "2016-06-24" @default.
- W14099924 creator A5044286856 @default.
- W14099924 creator A5049118633 @default.
- W14099924 date "2012-01-01" @default.
- W14099924 modified "2023-10-18" @default.
- W14099924 title "On the Domain and Dimension Hierarchy of Matrix Interpretations" @default.
- W14099924 cites W1488435683 @default.
- W14099924 cites W1489016793 @default.
- W14099924 cites W1529656135 @default.
- W14099924 cites W1552495765 @default.
- W14099924 cites W1555572117 @default.
- W14099924 cites W1568532679 @default.
- W14099924 cites W1968380471 @default.
- W14099924 cites W2001932052 @default.
- W14099924 cites W2007941273 @default.
- W14099924 cites W2090855107 @default.
- W14099924 cites W2099083823 @default.
- W14099924 cites W2122805723 @default.
- W14099924 cites W2136514805 @default.
- W14099924 cites W2950813500 @default.
- W14099924 cites W4230919050 @default.
- W14099924 cites W4233919006 @default.
- W14099924 doi "https://doi.org/10.1007/978-3-642-28717-6_25" @default.
- W14099924 hasPublicationYear "2012" @default.
- W14099924 type Work @default.
- W14099924 sameAs 14099924 @default.
- W14099924 citedByCount "1" @default.
- W14099924 countsByYear W140999242014 @default.
- W14099924 crossrefType "book-chapter" @default.
- W14099924 hasAuthorship W14099924A5044286856 @default.
- W14099924 hasAuthorship W14099924A5049118633 @default.
- W14099924 hasConcept C106487976 @default.
- W14099924 hasConcept C134306372 @default.
- W14099924 hasConcept C136119220 @default.
- W14099924 hasConcept C159985019 @default.
- W14099924 hasConcept C162324750 @default.
- W14099924 hasConcept C192562407 @default.
- W14099924 hasConcept C199360897 @default.
- W14099924 hasConcept C202444582 @default.
- W14099924 hasConcept C31170391 @default.
- W14099924 hasConcept C33676613 @default.
- W14099924 hasConcept C33923547 @default.
- W14099924 hasConcept C34447519 @default.
- W14099924 hasConcept C36503486 @default.
- W14099924 hasConcept C41008148 @default.
- W14099924 hasConcept C527412718 @default.
- W14099924 hasConceptScore W14099924C106487976 @default.
- W14099924 hasConceptScore W14099924C134306372 @default.
- W14099924 hasConceptScore W14099924C136119220 @default.
- W14099924 hasConceptScore W14099924C159985019 @default.
- W14099924 hasConceptScore W14099924C162324750 @default.
- W14099924 hasConceptScore W14099924C192562407 @default.
- W14099924 hasConceptScore W14099924C199360897 @default.
- W14099924 hasConceptScore W14099924C202444582 @default.
- W14099924 hasConceptScore W14099924C31170391 @default.
- W14099924 hasConceptScore W14099924C33676613 @default.
- W14099924 hasConceptScore W14099924C33923547 @default.
- W14099924 hasConceptScore W14099924C34447519 @default.
- W14099924 hasConceptScore W14099924C36503486 @default.
- W14099924 hasConceptScore W14099924C41008148 @default.
- W14099924 hasConceptScore W14099924C527412718 @default.
- W14099924 hasLocation W140999241 @default.
- W14099924 hasOpenAccess W14099924 @default.
- W14099924 hasPrimaryLocation W140999241 @default.
- W14099924 hasRelatedWork W1459545001 @default.
- W14099924 hasRelatedWork W1977247867 @default.
- W14099924 hasRelatedWork W2005930910 @default.
- W14099924 hasRelatedWork W2010933958 @default.
- W14099924 hasRelatedWork W2049473448 @default.
- W14099924 hasRelatedWork W2105325102 @default.
- W14099924 hasRelatedWork W2778825521 @default.
- W14099924 hasRelatedWork W2964350237 @default.
- W14099924 hasRelatedWork W4225269087 @default.
- W14099924 hasRelatedWork W4281745187 @default.
- W14099924 isParatext "false" @default.
- W14099924 isRetracted "false" @default.
- W14099924 magId "14099924" @default.
- W14099924 workType "book-chapter" @default.