Matches in SemOpenAlex for { <https://semopenalex.org/work/W1503582975> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W1503582975 endingPage "312" @default.
- W1503582975 startingPage "306" @default.
- W1503582975 abstract "In this paper we describe a new tool for performing Knuth-Bendix completion with automatic termination tools. It is based on two ingredients: (1) the inference system for completion with multiple reduction orderings introduced by Kurihara and Kondo (1999) and (2) the inference system for completion with external termination provers proposed by Wehrman, Stump and Westbrook (2006) and implemented in the Slothrop system. Our tool can be used with any termination tool that satisfies certain minimal requirements. Preliminary experimental results show the potential of our tool." @default.
- W1503582975 created "2016-06-24" @default.
- W1503582975 creator A5037256437 @default.
- W1503582975 creator A5043097301 @default.
- W1503582975 creator A5049118633 @default.
- W1503582975 creator A5054412358 @default.
- W1503582975 date "2008-08-29" @default.
- W1503582975 modified "2023-09-27" @default.
- W1503582975 title "Multi-completion with Termination Tools (System Description)" @default.
- W1503582975 cites W1506460945 @default.
- W1503582975 cites W1545035753 @default.
- W1503582975 cites W1986426227 @default.
- W1503582975 cites W2161751413 @default.
- W1503582975 cites W91193428 @default.
- W1503582975 doi "https://doi.org/10.1007/978-3-540-71070-7_26" @default.
- W1503582975 hasPublicationYear "2008" @default.
- W1503582975 type Work @default.
- W1503582975 sameAs 1503582975 @default.
- W1503582975 citedByCount "12" @default.
- W1503582975 countsByYear W15035829752012 @default.
- W1503582975 countsByYear W15035829752018 @default.
- W1503582975 countsByYear W15035829752019 @default.
- W1503582975 countsByYear W15035829752022 @default.
- W1503582975 crossrefType "book-chapter" @default.
- W1503582975 hasAuthorship W1503582975A5037256437 @default.
- W1503582975 hasAuthorship W1503582975A5043097301 @default.
- W1503582975 hasAuthorship W1503582975A5049118633 @default.
- W1503582975 hasAuthorship W1503582975A5054412358 @default.
- W1503582975 hasBestOaLocation W15035829752 @default.
- W1503582975 hasConcept C111335779 @default.
- W1503582975 hasConcept C11413529 @default.
- W1503582975 hasConcept C154945302 @default.
- W1503582975 hasConcept C199360897 @default.
- W1503582975 hasConcept C2524010 @default.
- W1503582975 hasConcept C2776214188 @default.
- W1503582975 hasConcept C33923547 @default.
- W1503582975 hasConcept C41008148 @default.
- W1503582975 hasConcept C80444323 @default.
- W1503582975 hasConceptScore W1503582975C111335779 @default.
- W1503582975 hasConceptScore W1503582975C11413529 @default.
- W1503582975 hasConceptScore W1503582975C154945302 @default.
- W1503582975 hasConceptScore W1503582975C199360897 @default.
- W1503582975 hasConceptScore W1503582975C2524010 @default.
- W1503582975 hasConceptScore W1503582975C2776214188 @default.
- W1503582975 hasConceptScore W1503582975C33923547 @default.
- W1503582975 hasConceptScore W1503582975C41008148 @default.
- W1503582975 hasConceptScore W1503582975C80444323 @default.
- W1503582975 hasLocation W15035829751 @default.
- W1503582975 hasLocation W15035829752 @default.
- W1503582975 hasOpenAccess W1503582975 @default.
- W1503582975 hasPrimaryLocation W15035829751 @default.
- W1503582975 hasRelatedWork W110104699 @default.
- W1503582975 hasRelatedWork W1506460945 @default.
- W1503582975 hasRelatedWork W1538192303 @default.
- W1503582975 hasRelatedWork W1583295953 @default.
- W1503582975 hasRelatedWork W1995618662 @default.
- W1503582975 hasRelatedWork W2013342254 @default.
- W1503582975 hasRelatedWork W2052858275 @default.
- W1503582975 hasRelatedWork W2085428535 @default.
- W1503582975 hasRelatedWork W2112108083 @default.
- W1503582975 hasRelatedWork W212713607 @default.
- W1503582975 hasRelatedWork W2144853448 @default.
- W1503582975 hasRelatedWork W2150324074 @default.
- W1503582975 hasRelatedWork W2156645025 @default.
- W1503582975 hasRelatedWork W2161257777 @default.
- W1503582975 hasRelatedWork W2161751413 @default.
- W1503582975 hasRelatedWork W2173515606 @default.
- W1503582975 hasRelatedWork W2501953491 @default.
- W1503582975 hasRelatedWork W2808968707 @default.
- W1503582975 hasRelatedWork W2950671110 @default.
- W1503582975 hasRelatedWork W65907803 @default.
- W1503582975 isParatext "false" @default.
- W1503582975 isRetracted "false" @default.
- W1503582975 magId "1503582975" @default.
- W1503582975 workType "book-chapter" @default.