Matches in SemOpenAlex for { <https://semopenalex.org/work/W2073625679> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W2073625679 endingPage "90" @default.
- W2073625679 startingPage "77" @default.
- W2073625679 abstract "Abstract We focus on termination proofs of rewrite systems, especially of rewrite systems containing associative and commutative operators. We prove their termination by elementary interpretations, more specifically, by functions defined by addition, multiplication and exponentiation. We discuss a method based on polynomial interpretations and propose an implementation of a mechanisation of the comparison of expressions built with polynomials and exponentials." @default.
- W2073625679 created "2016-06-24" @default.
- W2073625679 creator A5042417161 @default.
- W2073625679 date "1995-01-01" @default.
- W2073625679 modified "2023-09-25" @default.
- W2073625679 title "Termination of rewrite systems by elementary interpretations" @default.
- W2073625679 cites W1502987554 @default.
- W2073625679 cites W1526452163 @default.
- W2073625679 cites W1527996124 @default.
- W2073625679 cites W1537096018 @default.
- W2073625679 cites W1595374223 @default.
- W2073625679 cites W1709281215 @default.
- W2073625679 cites W1994958005 @default.
- W2073625679 cites W2024390796 @default.
- W2073625679 cites W2026623712 @default.
- W2073625679 cites W2027329270 @default.
- W2073625679 cites W2083977009 @default.
- W2073625679 cites W4294444007 @default.
- W2073625679 doi "https://doi.org/10.1007/bf01214624" @default.
- W2073625679 hasPublicationYear "1995" @default.
- W2073625679 type Work @default.
- W2073625679 sameAs 2073625679 @default.
- W2073625679 citedByCount "14" @default.
- W2073625679 countsByYear W20736256792012 @default.
- W2073625679 countsByYear W20736256792013 @default.
- W2073625679 countsByYear W20736256792014 @default.
- W2073625679 countsByYear W20736256792015 @default.
- W2073625679 crossrefType "journal-article" @default.
- W2073625679 hasAuthorship W2073625679A5042417161 @default.
- W2073625679 hasBestOaLocation W20736256791 @default.
- W2073625679 hasConcept C108710211 @default.
- W2073625679 hasConcept C114614502 @default.
- W2073625679 hasConcept C118615104 @default.
- W2073625679 hasConcept C120665830 @default.
- W2073625679 hasConcept C121332964 @default.
- W2073625679 hasConcept C134306372 @default.
- W2073625679 hasConcept C136119220 @default.
- W2073625679 hasConcept C159423971 @default.
- W2073625679 hasConcept C183778304 @default.
- W2073625679 hasConcept C192209626 @default.
- W2073625679 hasConcept C199360897 @default.
- W2073625679 hasConcept C202444582 @default.
- W2073625679 hasConcept C24858836 @default.
- W2073625679 hasConcept C2524010 @default.
- W2073625679 hasConcept C2780595030 @default.
- W2073625679 hasConcept C33923547 @default.
- W2073625679 hasConcept C41008148 @default.
- W2073625679 hasConcept C81539297 @default.
- W2073625679 hasConcept C90119067 @default.
- W2073625679 hasConcept C94375191 @default.
- W2073625679 hasConceptScore W2073625679C108710211 @default.
- W2073625679 hasConceptScore W2073625679C114614502 @default.
- W2073625679 hasConceptScore W2073625679C118615104 @default.
- W2073625679 hasConceptScore W2073625679C120665830 @default.
- W2073625679 hasConceptScore W2073625679C121332964 @default.
- W2073625679 hasConceptScore W2073625679C134306372 @default.
- W2073625679 hasConceptScore W2073625679C136119220 @default.
- W2073625679 hasConceptScore W2073625679C159423971 @default.
- W2073625679 hasConceptScore W2073625679C183778304 @default.
- W2073625679 hasConceptScore W2073625679C192209626 @default.
- W2073625679 hasConceptScore W2073625679C199360897 @default.
- W2073625679 hasConceptScore W2073625679C202444582 @default.
- W2073625679 hasConceptScore W2073625679C24858836 @default.
- W2073625679 hasConceptScore W2073625679C2524010 @default.
- W2073625679 hasConceptScore W2073625679C2780595030 @default.
- W2073625679 hasConceptScore W2073625679C33923547 @default.
- W2073625679 hasConceptScore W2073625679C41008148 @default.
- W2073625679 hasConceptScore W2073625679C81539297 @default.
- W2073625679 hasConceptScore W2073625679C90119067 @default.
- W2073625679 hasConceptScore W2073625679C94375191 @default.
- W2073625679 hasIssue "1" @default.
- W2073625679 hasLocation W20736256791 @default.
- W2073625679 hasOpenAccess W2073625679 @default.
- W2073625679 hasPrimaryLocation W20736256791 @default.
- W2073625679 hasRelatedWork W2046681508 @default.
- W2073625679 hasRelatedWork W2073625679 @default.
- W2073625679 hasRelatedWork W2365969810 @default.
- W2073625679 hasRelatedWork W2945809317 @default.
- W2073625679 hasRelatedWork W2964173287 @default.
- W2073625679 hasRelatedWork W2965261939 @default.
- W2073625679 hasRelatedWork W2972483366 @default.
- W2073625679 hasRelatedWork W2985886774 @default.
- W2073625679 hasRelatedWork W3168548195 @default.
- W2073625679 hasRelatedWork W80505541 @default.
- W2073625679 hasVolume "7" @default.
- W2073625679 isParatext "false" @default.
- W2073625679 isRetracted "false" @default.
- W2073625679 magId "2073625679" @default.
- W2073625679 workType "article" @default.