Matches in SemOpenAlex for { <https://semopenalex.org/work/W2180359226> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W2180359226 endingPage "166" @default.
- W2180359226 startingPage "155" @default.
- W2180359226 abstract "The polynomial path order (POP* for short) is a termination method that induces polynomial bounds on the innermost runtime complexity of term rewrite systems (TRSs for short). Semantic labeling is a transformation technique used for proving termination.In this paper, we propose an efficient implementation of POP* together with finite semantic labeling. This automation works by a reduction to the problem of boolean satisfiability. We have implemented the technique and experimental results confirm the feasibility of our approach. By semantic labeling the analytical power of POP* is significantly increased." @default.
- W2180359226 created "2016-06-24" @default.
- W2180359226 creator A5048841494 @default.
- W2180359226 date "2009-01-01" @default.
- W2180359226 modified "2023-09-27" @default.
- W2180359226 title "POP* and Semantic Labeling Using SAT." @default.
- W2180359226 cites W1489107600 @default.
- W2180359226 cites W1501777548 @default.
- W2180359226 cites W1516824726 @default.
- W2180359226 cites W1518705996 @default.
- W2180359226 cites W1539115503 @default.
- W2180359226 cites W1549644090 @default.
- W2180359226 cites W1583295953 @default.
- W2180359226 cites W1588175212 @default.
- W2180359226 cites W1820313840 @default.
- W2180359226 cites W1913470731 @default.
- W2180359226 cites W1999997889 @default.
- W2180359226 cites W2051600983 @default.
- W2180359226 cites W2054939514 @default.
- W2180359226 cites W2069792094 @default.
- W2180359226 cites W2073625679 @default.
- W2180359226 cites W2090855107 @default.
- W2180359226 cites W2119650177 @default.
- W2180359226 cites W2133527541 @default.
- W2180359226 cites W2147996890 @default.
- W2180359226 cites W2168393711 @default.
- W2180359226 cites W2762668203 @default.
- W2180359226 hasPublicationYear "2009" @default.
- W2180359226 type Work @default.
- W2180359226 sameAs 2180359226 @default.
- W2180359226 citedByCount "2" @default.
- W2180359226 countsByYear W21803592262012 @default.
- W2180359226 countsByYear W21803592262014 @default.
- W2180359226 crossrefType "journal-article" @default.
- W2180359226 hasAuthorship W2180359226A5048841494 @default.
- W2180359226 hasConcept C104317684 @default.
- W2180359226 hasConcept C111335779 @default.
- W2180359226 hasConcept C11413529 @default.
- W2180359226 hasConcept C134306372 @default.
- W2180359226 hasConcept C168773769 @default.
- W2180359226 hasConcept C179799912 @default.
- W2180359226 hasConcept C185592680 @default.
- W2180359226 hasConcept C199360897 @default.
- W2180359226 hasConcept C204241405 @default.
- W2180359226 hasConcept C2524010 @default.
- W2180359226 hasConcept C2777735758 @default.
- W2180359226 hasConcept C311688 @default.
- W2180359226 hasConcept C33923547 @default.
- W2180359226 hasConcept C41008148 @default.
- W2180359226 hasConcept C55493867 @default.
- W2180359226 hasConcept C6943359 @default.
- W2180359226 hasConcept C80444323 @default.
- W2180359226 hasConcept C90119067 @default.
- W2180359226 hasConceptScore W2180359226C104317684 @default.
- W2180359226 hasConceptScore W2180359226C111335779 @default.
- W2180359226 hasConceptScore W2180359226C11413529 @default.
- W2180359226 hasConceptScore W2180359226C134306372 @default.
- W2180359226 hasConceptScore W2180359226C168773769 @default.
- W2180359226 hasConceptScore W2180359226C179799912 @default.
- W2180359226 hasConceptScore W2180359226C185592680 @default.
- W2180359226 hasConceptScore W2180359226C199360897 @default.
- W2180359226 hasConceptScore W2180359226C204241405 @default.
- W2180359226 hasConceptScore W2180359226C2524010 @default.
- W2180359226 hasConceptScore W2180359226C2777735758 @default.
- W2180359226 hasConceptScore W2180359226C311688 @default.
- W2180359226 hasConceptScore W2180359226C33923547 @default.
- W2180359226 hasConceptScore W2180359226C41008148 @default.
- W2180359226 hasConceptScore W2180359226C55493867 @default.
- W2180359226 hasConceptScore W2180359226C6943359 @default.
- W2180359226 hasConceptScore W2180359226C80444323 @default.
- W2180359226 hasConceptScore W2180359226C90119067 @default.
- W2180359226 hasLocation W21803592261 @default.
- W2180359226 hasOpenAccess W2180359226 @default.
- W2180359226 hasPrimaryLocation W21803592261 @default.
- W2180359226 hasRelatedWork W118580665 @default.
- W2180359226 hasRelatedWork W139679001 @default.
- W2180359226 hasRelatedWork W1505872263 @default.
- W2180359226 hasRelatedWork W1506660274 @default.
- W2180359226 hasRelatedWork W1512529696 @default.
- W2180359226 hasRelatedWork W1516564968 @default.
- W2180359226 hasRelatedWork W1552077729 @default.
- W2180359226 hasRelatedWork W1566132409 @default.
- W2180359226 hasRelatedWork W1585696877 @default.
- W2180359226 hasRelatedWork W1820313840 @default.
- W2180359226 hasRelatedWork W2024295812 @default.
- W2180359226 hasRelatedWork W2067593607 @default.
- W2180359226 hasRelatedWork W2154665658 @default.
- W2180359226 hasRelatedWork W2170813482 @default.
- W2180359226 hasRelatedWork W2407211045 @default.
- W2180359226 hasRelatedWork W2785704151 @default.
- W2180359226 hasRelatedWork W50590539 @default.
- W2180359226 hasRelatedWork W146194429 @default.
- W2180359226 hasRelatedWork W2119848417 @default.
- W2180359226 hasRelatedWork W2160550194 @default.
- W2180359226 isParatext "false" @default.
- W2180359226 isRetracted "false" @default.
- W2180359226 magId "2180359226" @default.
- W2180359226 workType "article" @default.