FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2306945352> ?p ?o ?g. }

• W2306945352 startingPage "17" @default.
• W2306945352 abstract "In the context of the study of rule-based programming, we focus in this paper on the property of C-reducibility, expressing that every term reduces to a constructor term on at least one of its rewriting derivations. This property implies completeness of function definitions, and enables to stop evaluations of a program on a constructor form, even if the program is not terminating. We propose an inductive procedure proving C-reducibility of rewriting. The rewriting relation on ground terms is simulated through an abstraction mechanism and narrowing. The induction hypothesis allows assuming that terms smaller than the starting terms rewrite into a constructor term. The existence of the induction ordering is checked during the proof process, by ensuring satisfiability of ordering constraints. The proof is constructive, in the sense that the branch leading to a constructor term can be computed from the proof trees establishing C-reducibility for every term." @default.
• W2306945352 created "2016-06-24" @default.
• W2306945352 creator A5015156763 @default.
• W2306945352 creator A5034861143 @default.
• W2306945352 date "2006-01-01" @default.
• W2306945352 modified "2023-09-23" @default.
• W2306945352 title "Computing Constructor Forms with Non Terminating Rewrite Programs - Extended version -" @default.
• W2306945352 cites W1552945655 @default.
• W2306945352 cites W1589699265 @default.
• W2306945352 cites W1891579298 @default.
• W2306945352 cites W1969356716 @default.
• W2306945352 cites W1994730843 @default.
• W2306945352 cites W1996804992 @default.
• W2306945352 cites W2012302250 @default.
• W2306945352 cites W2021173362 @default.
• W2306945352 cites W2022060249 @default.
• W2306945352 cites W2035652450 @default.
• W2306945352 cites W2056774266 @default.
• W2306945352 cites W2074030070 @default.
• W2306945352 cites W2086312242 @default.
• W2306945352 cites W2086747974 @default.
• W2306945352 cites W2094830274 @default.
• W2306945352 cites W2106078552 @default.
• W2306945352 cites W2115472920 @default.
• W2306945352 cites W2132750992 @default.
• W2306945352 cites W2134287022 @default.
• W2306945352 cites W2149944932 @default.
• W2306945352 cites W2154274309 @default.
• W2306945352 cites W2154940799 @default.
• W2306945352 cites W220767771 @default.
• W2306945352 cites W2544881903 @default.
• W2306945352 cites W2621814323 @default.
• W2306945352 cites W2625168394 @default.
• W2306945352 cites W59731535 @default.
• W2306945352 hasPublicationYear "2006" @default.
• W2306945352 type Work @default.
• W2306945352 sameAs 2306945352 @default.
• W2306945352 citedByCount "0" @default.
• W2306945352 crossrefType "journal-article" @default.
• W2306945352 hasAuthorship W2306945352A5015156763 @default.
• W2306945352 hasAuthorship W2306945352A5034861143 @default.
• W2306945352 hasConcept C111472728 @default.
• W2306945352 hasConcept C118615104 @default.
• W2306945352 hasConcept C121332964 @default.
• W2306945352 hasConcept C134306372 @default.
• W2306945352 hasConcept C138885662 @default.
• W2306945352 hasConcept C154690210 @default.
• W2306945352 hasConcept C159333733 @default.
• W2306945352 hasConcept C168773769 @default.
• W2306945352 hasConcept C17231256 @default.
• W2306945352 hasConcept C189950617 @default.
• W2306945352 hasConcept C199360897 @default.
• W2306945352 hasConcept C202854965 @default.
• W2306945352 hasConcept C2778701210 @default.
• W2306945352 hasConcept C33923547 @default.
• W2306945352 hasConcept C41008148 @default.
• W2306945352 hasConcept C61797465 @default.
• W2306945352 hasConcept C62520636 @default.
• W2306945352 hasConcept C80444323 @default.
• W2306945352 hasConcept C98045186 @default.
• W2306945352 hasConceptScore W2306945352C111472728 @default.
• W2306945352 hasConceptScore W2306945352C118615104 @default.
• W2306945352 hasConceptScore W2306945352C121332964 @default.
• W2306945352 hasConceptScore W2306945352C134306372 @default.
• W2306945352 hasConceptScore W2306945352C138885662 @default.
• W2306945352 hasConceptScore W2306945352C154690210 @default.
• W2306945352 hasConceptScore W2306945352C159333733 @default.
• W2306945352 hasConceptScore W2306945352C168773769 @default.
• W2306945352 hasConceptScore W2306945352C17231256 @default.
• W2306945352 hasConceptScore W2306945352C189950617 @default.
• W2306945352 hasConceptScore W2306945352C199360897 @default.
• W2306945352 hasConceptScore W2306945352C202854965 @default.
• W2306945352 hasConceptScore W2306945352C2778701210 @default.
• W2306945352 hasConceptScore W2306945352C33923547 @default.
• W2306945352 hasConceptScore W2306945352C41008148 @default.
• W2306945352 hasConceptScore W2306945352C61797465 @default.
• W2306945352 hasConceptScore W2306945352C62520636 @default.
• W2306945352 hasConceptScore W2306945352C80444323 @default.
• W2306945352 hasConceptScore W2306945352C98045186 @default.
• W2306945352 hasOpenAccess W2306945352 @default.
• W2306945352 hasRelatedWork W1486035470 @default.
• W2306945352 hasRelatedWork W1552945655 @default.
• W2306945352 hasRelatedWork W1568506451 @default.
• W2306945352 hasRelatedWork W1570444582 @default.
• W2306945352 hasRelatedWork W1989335037 @default.
• W2306945352 hasRelatedWork W1993634373 @default.
• W2306945352 hasRelatedWork W1994958005 @default.
• W2306945352 hasRelatedWork W2007005677 @default.
• W2306945352 hasRelatedWork W2031948276 @default.
• W2306945352 hasRelatedWork W2061708450 @default.
• W2306945352 hasRelatedWork W2166898558 @default.
• W2306945352 hasRelatedWork W2178785057 @default.
• W2306945352 hasRelatedWork W2613440290 @default.
• W2306945352 hasRelatedWork W2621814323 @default.
• W2306945352 hasRelatedWork W2622168976 @default.
• W2306945352 hasRelatedWork W2756975431 @default.
• W2306945352 hasRelatedWork W3023151422 @default.
• W2306945352 hasRelatedWork W655150882 @default.
• W2306945352 hasRelatedWork W1772195298 @default.

• next