Matches in SemOpenAlex for { <https://semopenalex.org/work/W59451792> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W59451792 abstract "Rewrite systems form an attractive model of computation. In the past decades numerous methods have been developed to prove rewrite systems terminating. Spurred by the International Termination Competition, the emphasis in recent years is on powerful methods that can be automated." @default.
- W59451792 created "2016-06-24" @default.
- W59451792 creator A5049118633 @default.
- W59451792 date "2012-01-01" @default.
- W59451792 modified "2023-09-27" @default.
- W59451792 title "Matrix Interpretations for Polynomial Derivational Complexity of Rewrite Systems" @default.
- W59451792 cites W1568532679 @default.
- W59451792 cites W1597089442 @default.
- W59451792 cites W172021561 @default.
- W59451792 cites W2136514805 @default.
- W59451792 doi "https://doi.org/10.1007/978-3-642-28717-6_2" @default.
- W59451792 hasPublicationYear "2012" @default.
- W59451792 type Work @default.
- W59451792 sameAs 59451792 @default.
- W59451792 citedByCount "1" @default.
- W59451792 countsByYear W594517922017 @default.
- W59451792 crossrefType "book-chapter" @default.
- W59451792 hasAuthorship W59451792A5049118633 @default.
- W59451792 hasConcept C106487976 @default.
- W59451792 hasConcept C11413529 @default.
- W59451792 hasConcept C134306372 @default.
- W59451792 hasConcept C136119220 @default.
- W59451792 hasConcept C159333733 @default.
- W59451792 hasConcept C159985019 @default.
- W59451792 hasConcept C179799912 @default.
- W59451792 hasConcept C192562407 @default.
- W59451792 hasConcept C199360897 @default.
- W59451792 hasConcept C202444582 @default.
- W59451792 hasConcept C33923547 @default.
- W59451792 hasConcept C41008148 @default.
- W59451792 hasConcept C45374587 @default.
- W59451792 hasConcept C80444323 @default.
- W59451792 hasConcept C90119067 @default.
- W59451792 hasConceptScore W59451792C106487976 @default.
- W59451792 hasConceptScore W59451792C11413529 @default.
- W59451792 hasConceptScore W59451792C134306372 @default.
- W59451792 hasConceptScore W59451792C136119220 @default.
- W59451792 hasConceptScore W59451792C159333733 @default.
- W59451792 hasConceptScore W59451792C159985019 @default.
- W59451792 hasConceptScore W59451792C179799912 @default.
- W59451792 hasConceptScore W59451792C192562407 @default.
- W59451792 hasConceptScore W59451792C199360897 @default.
- W59451792 hasConceptScore W59451792C202444582 @default.
- W59451792 hasConceptScore W59451792C33923547 @default.
- W59451792 hasConceptScore W59451792C41008148 @default.
- W59451792 hasConceptScore W59451792C45374587 @default.
- W59451792 hasConceptScore W59451792C80444323 @default.
- W59451792 hasConceptScore W59451792C90119067 @default.
- W59451792 hasLocation W594517921 @default.
- W59451792 hasOpenAccess W59451792 @default.
- W59451792 hasPrimaryLocation W594517921 @default.
- W59451792 hasRelatedWork W1503053745 @default.
- W59451792 hasRelatedWork W1521877753 @default.
- W59451792 hasRelatedWork W1586252846 @default.
- W59451792 hasRelatedWork W1593900896 @default.
- W59451792 hasRelatedWork W1802519271 @default.
- W59451792 hasRelatedWork W1989572478 @default.
- W59451792 hasRelatedWork W1994958005 @default.
- W59451792 hasRelatedWork W2038040550 @default.
- W59451792 hasRelatedWork W2040777670 @default.
- W59451792 hasRelatedWork W2050856006 @default.
- W59451792 hasRelatedWork W2089309203 @default.
- W59451792 hasRelatedWork W2135341602 @default.
- W59451792 hasRelatedWork W2140520835 @default.
- W59451792 hasRelatedWork W2169568716 @default.
- W59451792 hasRelatedWork W2273791319 @default.
- W59451792 hasRelatedWork W2418509144 @default.
- W59451792 hasRelatedWork W2911695802 @default.
- W59451792 hasRelatedWork W3022794709 @default.
- W59451792 hasRelatedWork W80286208 @default.
- W59451792 hasRelatedWork W1778310382 @default.
- W59451792 isParatext "false" @default.
- W59451792 isRetracted "false" @default.
- W59451792 magId "59451792" @default.
- W59451792 workType "book-chapter" @default.