Matches in SemOpenAlex for { <https://semopenalex.org/work/W2296610080> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W2296610080 abstract "We recall the recent approach by (Zankl and Korp, 2010) to prove upper bounds on the (derivational) complexity of term rewrite systems modularly. In this note we show that this approach is suitable to tighten bounds after they have been established. The idea is to replace proof steps with a large bound by (new) proofs that yield smaller bounds. An evaluation of the approach shows the benefits." @default.
- W2296610080 created "2016-06-24" @default.
- W2296610080 creator A5028009961 @default.
- W2296610080 creator A5028162372 @default.
- W2296610080 date "2018-01-23" @default.
- W2296610080 modified "2023-09-23" @default.
- W2296610080 title "On Implementing Modular Complexity Analysis" @default.
- W2296610080 cites W113842403 @default.
- W2296610080 cites W1517466677 @default.
- W2296610080 cites W1568532679 @default.
- W2296610080 cites W1583295953 @default.
- W2296610080 cites W1896024941 @default.
- W2296610080 cites W2037664852 @default.
- W2296610080 cites W2111433946 @default.
- W2296610080 cites W2169568716 @default.
- W2296610080 doi "https://doi.org/10.29007/zm9s" @default.
- W2296610080 hasPublicationYear "2018" @default.
- W2296610080 type Work @default.
- W2296610080 sameAs 2296610080 @default.
- W2296610080 citedByCount "1" @default.
- W2296610080 countsByYear W22966100802014 @default.
- W2296610080 crossrefType "proceedings-article" @default.
- W2296610080 hasAuthorship W2296610080A5028009961 @default.
- W2296610080 hasAuthorship W2296610080A5028162372 @default.
- W2296610080 hasBestOaLocation W22966100801 @default.
- W2296610080 hasConcept C101468663 @default.
- W2296610080 hasConcept C108710211 @default.
- W2296610080 hasConcept C11413529 @default.
- W2296610080 hasConcept C121332964 @default.
- W2296610080 hasConcept C134306372 @default.
- W2296610080 hasConcept C179799912 @default.
- W2296610080 hasConcept C199360897 @default.
- W2296610080 hasConcept C2524010 @default.
- W2296610080 hasConcept C33923547 @default.
- W2296610080 hasConcept C41008148 @default.
- W2296610080 hasConcept C61797465 @default.
- W2296610080 hasConcept C62520636 @default.
- W2296610080 hasConcept C77553402 @default.
- W2296610080 hasConcept C80444323 @default.
- W2296610080 hasConceptScore W2296610080C101468663 @default.
- W2296610080 hasConceptScore W2296610080C108710211 @default.
- W2296610080 hasConceptScore W2296610080C11413529 @default.
- W2296610080 hasConceptScore W2296610080C121332964 @default.
- W2296610080 hasConceptScore W2296610080C134306372 @default.
- W2296610080 hasConceptScore W2296610080C179799912 @default.
- W2296610080 hasConceptScore W2296610080C199360897 @default.
- W2296610080 hasConceptScore W2296610080C2524010 @default.
- W2296610080 hasConceptScore W2296610080C33923547 @default.
- W2296610080 hasConceptScore W2296610080C41008148 @default.
- W2296610080 hasConceptScore W2296610080C61797465 @default.
- W2296610080 hasConceptScore W2296610080C62520636 @default.
- W2296610080 hasConceptScore W2296610080C77553402 @default.
- W2296610080 hasConceptScore W2296610080C80444323 @default.
- W2296610080 hasLocation W22966100801 @default.
- W2296610080 hasOpenAccess W2296610080 @default.
- W2296610080 hasPrimaryLocation W22966100801 @default.
- W2296610080 hasRelatedWork W1550126246 @default.
- W2296610080 hasRelatedWork W1566982707 @default.
- W2296610080 hasRelatedWork W1990362734 @default.
- W2296610080 hasRelatedWork W2133996617 @default.
- W2296610080 hasRelatedWork W2138209912 @default.
- W2296610080 hasRelatedWork W3165217919 @default.
- W2296610080 hasRelatedWork W4281290775 @default.
- W2296610080 hasRelatedWork W4301070520 @default.
- W2296610080 hasRelatedWork W6135152 @default.
- W2296610080 hasRelatedWork W778194052 @default.
- W2296610080 isParatext "false" @default.
- W2296610080 isRetracted "false" @default.
- W2296610080 magId "2296610080" @default.
- W2296610080 workType "article" @default.