Matches in SemOpenAlex for { <https://semopenalex.org/work/W1528050552> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W1528050552 abstract "We consider the problem of proving termination of order-sorted rewrite systems. The dominating method for proving termination of order-sorted systems has been to simply ignore sort information, and use the techniques developed for unsorted rewriting. The problem with this approach is that many order-sorted rewrite systems terminate because of the structure of the set of sorts. In these cases the corresponding unsorted system would not terminate." @default.
- W1528050552 created "2016-06-24" @default.
- W1528050552 creator A5000542963 @default.
- W1528050552 creator A5078403066 @default.
- W1528050552 date "1996-01-01" @default.
- W1528050552 modified "2023-09-30" @default.
- W1528050552 title "Order-sorted termination: The unsorted way" @default.
- W1528050552 cites W1497475737 @default.
- W1528050552 cites W1998413900 @default.
- W1528050552 cites W1999453716 @default.
- W1528050552 cites W2075479781 @default.
- W1528050552 cites W2121757274 @default.
- W1528050552 cites W2170550263 @default.
- W1528050552 cites W2913116145 @default.
- W1528050552 doi "https://doi.org/10.1007/3-540-61735-3_6" @default.
- W1528050552 hasPublicationYear "1996" @default.
- W1528050552 type Work @default.
- W1528050552 sameAs 1528050552 @default.
- W1528050552 citedByCount "4" @default.
- W1528050552 countsByYear W15280505522015 @default.
- W1528050552 countsByYear W15280505522017 @default.
- W1528050552 countsByYear W15280505522020 @default.
- W1528050552 crossrefType "book-chapter" @default.
- W1528050552 hasAuthorship W1528050552A5000542963 @default.
- W1528050552 hasAuthorship W1528050552A5078403066 @default.
- W1528050552 hasConcept C10138342 @default.
- W1528050552 hasConcept C11413529 @default.
- W1528050552 hasConcept C154690210 @default.
- W1528050552 hasConcept C162324750 @default.
- W1528050552 hasConcept C177264268 @default.
- W1528050552 hasConcept C182306322 @default.
- W1528050552 hasConcept C199360897 @default.
- W1528050552 hasConcept C206880738 @default.
- W1528050552 hasConcept C23123220 @default.
- W1528050552 hasConcept C41008148 @default.
- W1528050552 hasConcept C80444323 @default.
- W1528050552 hasConcept C88548561 @default.
- W1528050552 hasConceptScore W1528050552C10138342 @default.
- W1528050552 hasConceptScore W1528050552C11413529 @default.
- W1528050552 hasConceptScore W1528050552C154690210 @default.
- W1528050552 hasConceptScore W1528050552C162324750 @default.
- W1528050552 hasConceptScore W1528050552C177264268 @default.
- W1528050552 hasConceptScore W1528050552C182306322 @default.
- W1528050552 hasConceptScore W1528050552C199360897 @default.
- W1528050552 hasConceptScore W1528050552C206880738 @default.
- W1528050552 hasConceptScore W1528050552C23123220 @default.
- W1528050552 hasConceptScore W1528050552C41008148 @default.
- W1528050552 hasConceptScore W1528050552C80444323 @default.
- W1528050552 hasConceptScore W1528050552C88548561 @default.
- W1528050552 hasLocation W15280505521 @default.
- W1528050552 hasOpenAccess W1528050552 @default.
- W1528050552 hasPrimaryLocation W15280505521 @default.
- W1528050552 hasRelatedWork W1485652268 @default.
- W1528050552 hasRelatedWork W1489253037 @default.
- W1528050552 hasRelatedWork W1504007491 @default.
- W1528050552 hasRelatedWork W1522871112 @default.
- W1528050552 hasRelatedWork W1544079619 @default.
- W1528050552 hasRelatedWork W1552961498 @default.
- W1528050552 hasRelatedWork W1568838065 @default.
- W1528050552 hasRelatedWork W1678943029 @default.
- W1528050552 hasRelatedWork W2019496318 @default.
- W1528050552 hasRelatedWork W2029176884 @default.
- W1528050552 hasRelatedWork W2088747311 @default.
- W1528050552 hasRelatedWork W2090855107 @default.
- W1528050552 hasRelatedWork W2091448415 @default.
- W1528050552 hasRelatedWork W2092636009 @default.
- W1528050552 hasRelatedWork W2097815595 @default.
- W1528050552 hasRelatedWork W2112820621 @default.
- W1528050552 hasRelatedWork W2162899660 @default.
- W1528050552 hasRelatedWork W2911543830 @default.
- W1528050552 hasRelatedWork W3105353625 @default.
- W1528050552 hasRelatedWork W91193428 @default.
- W1528050552 isParatext "false" @default.
- W1528050552 isRetracted "false" @default.
- W1528050552 magId "1528050552" @default.
- W1528050552 workType "book-chapter" @default.