Matches in SemOpenAlex for { <https://semopenalex.org/work/W2296265259> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W2296265259 endingPage "349" @default.
- W2296265259 startingPage "334" @default.
- W2296265259 abstract "We present the first approach to deduce lower bounds for innermost runtime complexity of term rewrite systems (TRSs) automatically. Inferring lower runtime bounds is useful to detect bugs and to complement existing techniques that compute upper complexitybounds. The key idea of our approach is to generate suitable families of rewrite sequences of a TRS and to find a relation between the length of such a rewrite sequence and the size of the first term in the sequence. We implemented our approach inthe tool AProVE and evaluated it by extensive experiments." @default.
- W2296265259 created "2016-06-24" @default.
- W2296265259 creator A5021802785 @default.
- W2296265259 creator A5025232172 @default.
- W2296265259 creator A5064836389 @default.
- W2296265259 creator A5072166791 @default.
- W2296265259 creator A5087390223 @default.
- W2296265259 date "2015-01-01" @default.
- W2296265259 modified "2023-09-26" @default.
- W2296265259 title "Inferring Lower Bounds for Runtime Complexity" @default.
- W2296265259 doi "https://doi.org/10.4230/lipics.rta.2015.334" @default.
- W2296265259 hasPublicationYear "2015" @default.
- W2296265259 type Work @default.
- W2296265259 sameAs 2296265259 @default.
- W2296265259 citedByCount "2" @default.
- W2296265259 countsByYear W22962652592015 @default.
- W2296265259 crossrefType "proceedings-article" @default.
- W2296265259 hasAuthorship W2296265259A5021802785 @default.
- W2296265259 hasAuthorship W2296265259A5025232172 @default.
- W2296265259 hasAuthorship W2296265259A5064836389 @default.
- W2296265259 hasAuthorship W2296265259A5072166791 @default.
- W2296265259 hasAuthorship W2296265259A5087390223 @default.
- W2296265259 hasConcept C104317684 @default.
- W2296265259 hasConcept C112313634 @default.
- W2296265259 hasConcept C11413529 @default.
- W2296265259 hasConcept C121332964 @default.
- W2296265259 hasConcept C124101348 @default.
- W2296265259 hasConcept C127716648 @default.
- W2296265259 hasConcept C134306372 @default.
- W2296265259 hasConcept C179799912 @default.
- W2296265259 hasConcept C185592680 @default.
- W2296265259 hasConcept C188082640 @default.
- W2296265259 hasConcept C25343380 @default.
- W2296265259 hasConcept C26517878 @default.
- W2296265259 hasConcept C2778112365 @default.
- W2296265259 hasConcept C33923547 @default.
- W2296265259 hasConcept C38652104 @default.
- W2296265259 hasConcept C41008148 @default.
- W2296265259 hasConcept C54355233 @default.
- W2296265259 hasConcept C55493867 @default.
- W2296265259 hasConcept C61797465 @default.
- W2296265259 hasConcept C62520636 @default.
- W2296265259 hasConcept C77553402 @default.
- W2296265259 hasConcept C80444323 @default.
- W2296265259 hasConcept C86803240 @default.
- W2296265259 hasConceptScore W2296265259C104317684 @default.
- W2296265259 hasConceptScore W2296265259C112313634 @default.
- W2296265259 hasConceptScore W2296265259C11413529 @default.
- W2296265259 hasConceptScore W2296265259C121332964 @default.
- W2296265259 hasConceptScore W2296265259C124101348 @default.
- W2296265259 hasConceptScore W2296265259C127716648 @default.
- W2296265259 hasConceptScore W2296265259C134306372 @default.
- W2296265259 hasConceptScore W2296265259C179799912 @default.
- W2296265259 hasConceptScore W2296265259C185592680 @default.
- W2296265259 hasConceptScore W2296265259C188082640 @default.
- W2296265259 hasConceptScore W2296265259C25343380 @default.
- W2296265259 hasConceptScore W2296265259C26517878 @default.
- W2296265259 hasConceptScore W2296265259C2778112365 @default.
- W2296265259 hasConceptScore W2296265259C33923547 @default.
- W2296265259 hasConceptScore W2296265259C38652104 @default.
- W2296265259 hasConceptScore W2296265259C41008148 @default.
- W2296265259 hasConceptScore W2296265259C54355233 @default.
- W2296265259 hasConceptScore W2296265259C55493867 @default.
- W2296265259 hasConceptScore W2296265259C61797465 @default.
- W2296265259 hasConceptScore W2296265259C62520636 @default.
- W2296265259 hasConceptScore W2296265259C77553402 @default.
- W2296265259 hasConceptScore W2296265259C80444323 @default.
- W2296265259 hasConceptScore W2296265259C86803240 @default.
- W2296265259 hasLocation W22962652591 @default.
- W2296265259 hasOpenAccess W2296265259 @default.
- W2296265259 hasPrimaryLocation W22962652591 @default.
- W2296265259 hasRelatedWork W1509963753 @default.
- W2296265259 hasRelatedWork W1518388247 @default.
- W2296265259 hasRelatedWork W1540001753 @default.
- W2296265259 hasRelatedWork W1549644090 @default.
- W2296265259 hasRelatedWork W1554834491 @default.
- W2296265259 hasRelatedWork W1784400892 @default.
- W2296265259 hasRelatedWork W1858687778 @default.
- W2296265259 hasRelatedWork W1985009445 @default.
- W2296265259 hasRelatedWork W2067585033 @default.
- W2296265259 hasRelatedWork W2079554395 @default.
- W2296265259 hasRelatedWork W2110988764 @default.
- W2296265259 hasRelatedWork W2283174225 @default.
- W2296265259 hasRelatedWork W2339866832 @default.
- W2296265259 hasRelatedWork W2514073783 @default.
- W2296265259 hasRelatedWork W2809932340 @default.
- W2296265259 hasRelatedWork W2884561268 @default.
- W2296265259 hasRelatedWork W2950142876 @default.
- W2296265259 hasRelatedWork W3005686116 @default.
- W2296265259 hasRelatedWork W3166773424 @default.
- W2296265259 hasRelatedWork W2592682916 @default.
- W2296265259 hasVolume "36" @default.
- W2296265259 isParatext "false" @default.
- W2296265259 isRetracted "false" @default.
- W2296265259 magId "2296265259" @default.
- W2296265259 workType "article" @default.