Matches in SemOpenAlex for { <https://semopenalex.org/work/W2183669711> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W2183669711 endingPage "475" @default.
- W2183669711 startingPage "466" @default.
- W2183669711 abstract "This paper describes the implementation and techniques of the Nagoya Termination Tool, a termination prover for term rewrite systems. The main features of the tool are: the first implementation of the weighted path order which subsumes most of the existing reduction pairs, and the efficiency due to the strong cooperation with external SMT solvers. We present some new ideas that contribute to the efficiency and power of the tool." @default.
- W2183669711 created "2016-06-24" @default.
- W2183669711 creator A5003947273 @default.
- W2183669711 creator A5031676206 @default.
- W2183669711 creator A5034176636 @default.
- W2183669711 date "2014-01-01" @default.
- W2183669711 modified "2023-09-28" @default.
- W2183669711 title "Nagoya Termination Tool" @default.
- W2183669711 cites W1484559376 @default.
- W2183669711 cites W1507006488 @default.
- W2183669711 cites W1508261706 @default.
- W2183669711 cites W1517103238 @default.
- W2183669711 cites W1533812350 @default.
- W2183669711 cites W1582592616 @default.
- W2183669711 cites W1584399668 @default.
- W2183669711 cites W1849654074 @default.
- W2183669711 cites W19113275 @default.
- W2183669711 cites W1939442430 @default.
- W2183669711 cites W1983193642 @default.
- W2183669711 cites W2001932052 @default.
- W2183669711 cites W2045294429 @default.
- W2183669711 cites W2086747974 @default.
- W2183669711 cites W2090855107 @default.
- W2183669711 cites W2099083823 @default.
- W2183669711 cites W2109883071 @default.
- W2183669711 cites W2136379287 @default.
- W2183669711 cites W2136514805 @default.
- W2183669711 cites W2183669711 @default.
- W2183669711 cites W2507006525 @default.
- W2183669711 cites W2911880377 @default.
- W2183669711 cites W2913313741 @default.
- W2183669711 doi "https://doi.org/10.1007/978-3-319-08918-8_32" @default.
- W2183669711 hasPublicationYear "2014" @default.
- W2183669711 type Work @default.
- W2183669711 sameAs 2183669711 @default.
- W2183669711 citedByCount "21" @default.
- W2183669711 countsByYear W21836697112014 @default.
- W2183669711 countsByYear W21836697112015 @default.
- W2183669711 countsByYear W21836697112016 @default.
- W2183669711 countsByYear W21836697112017 @default.
- W2183669711 countsByYear W21836697112018 @default.
- W2183669711 countsByYear W21836697112019 @default.
- W2183669711 countsByYear W21836697112020 @default.
- W2183669711 countsByYear W21836697112021 @default.
- W2183669711 countsByYear W21836697112022 @default.
- W2183669711 countsByYear W21836697112023 @default.
- W2183669711 crossrefType "book-chapter" @default.
- W2183669711 hasAuthorship W2183669711A5003947273 @default.
- W2183669711 hasAuthorship W2183669711A5031676206 @default.
- W2183669711 hasAuthorship W2183669711A5034176636 @default.
- W2183669711 hasBestOaLocation W21836697112 @default.
- W2183669711 hasConcept C108710211 @default.
- W2183669711 hasConcept C111335779 @default.
- W2183669711 hasConcept C121332964 @default.
- W2183669711 hasConcept C159718280 @default.
- W2183669711 hasConcept C199360897 @default.
- W2183669711 hasConcept C2524010 @default.
- W2183669711 hasConcept C2777735758 @default.
- W2183669711 hasConcept C33923547 @default.
- W2183669711 hasConcept C41008148 @default.
- W2183669711 hasConcept C61797465 @default.
- W2183669711 hasConcept C62520636 @default.
- W2183669711 hasConceptScore W2183669711C108710211 @default.
- W2183669711 hasConceptScore W2183669711C111335779 @default.
- W2183669711 hasConceptScore W2183669711C121332964 @default.
- W2183669711 hasConceptScore W2183669711C159718280 @default.
- W2183669711 hasConceptScore W2183669711C199360897 @default.
- W2183669711 hasConceptScore W2183669711C2524010 @default.
- W2183669711 hasConceptScore W2183669711C2777735758 @default.
- W2183669711 hasConceptScore W2183669711C33923547 @default.
- W2183669711 hasConceptScore W2183669711C41008148 @default.
- W2183669711 hasConceptScore W2183669711C61797465 @default.
- W2183669711 hasConceptScore W2183669711C62520636 @default.
- W2183669711 hasLocation W21836697111 @default.
- W2183669711 hasLocation W21836697112 @default.
- W2183669711 hasOpenAccess W2183669711 @default.
- W2183669711 hasPrimaryLocation W21836697111 @default.
- W2183669711 hasRelatedWork W2013111119 @default.
- W2183669711 hasRelatedWork W2047793074 @default.
- W2183669711 hasRelatedWork W2112962394 @default.
- W2183669711 hasRelatedWork W2118300983 @default.
- W2183669711 hasRelatedWork W2382501300 @default.
- W2183669711 hasRelatedWork W3137189469 @default.
- W2183669711 hasRelatedWork W3162240892 @default.
- W2183669711 hasRelatedWork W4235530921 @default.
- W2183669711 hasRelatedWork W4243252198 @default.
- W2183669711 hasRelatedWork W4245713008 @default.
- W2183669711 isParatext "false" @default.
- W2183669711 isRetracted "false" @default.
- W2183669711 magId "2183669711" @default.
- W2183669711 workType "book-chapter" @default.