Matches in SemOpenAlex for { <https://semopenalex.org/work/W1486262007> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W1486262007 abstract "Functions specified by nested recursions are difficult to define and reason about. We present several ameliorative techniques that use deduction in a classical higher-order logic. First, we discuss how an apparent circular dependency between the proof of nested termination conditions and the definition of the specified function can be avoided. Second, we propose a method that allows the specified function to be defined in the absence of a termination relation. Finally, we show how our techniques extend to nested program schemes, where a termination relation cannot be found until schematic parameters have been filled in. In each of these techniques, suitable induction theorems are automatically derived." @default.
- W1486262007 created "2016-06-24" @default.
- W1486262007 creator A5041337242 @default.
- W1486262007 date "2000-01-01" @default.
- W1486262007 modified "2023-09-27" @default.
- W1486262007 title "Another Look at Nested Recursion" @default.
- W1486262007 cites W1505191296 @default.
- W1486262007 cites W1505699378 @default.
- W1486262007 cites W1539706239 @default.
- W1486262007 cites W1572951667 @default.
- W1486262007 cites W2019994514 @default.
- W1486262007 cites W2035324774 @default.
- W1486262007 cites W2123640792 @default.
- W1486262007 cites W2123984632 @default.
- W1486262007 cites W2128642478 @default.
- W1486262007 cites W4210732998 @default.
- W1486262007 cites W4248352158 @default.
- W1486262007 doi "https://doi.org/10.1007/3-540-44659-1_31" @default.
- W1486262007 hasPublicationYear "2000" @default.
- W1486262007 type Work @default.
- W1486262007 sameAs 1486262007 @default.
- W1486262007 citedByCount "12" @default.
- W1486262007 countsByYear W14862620072016 @default.
- W1486262007 crossrefType "book-chapter" @default.
- W1486262007 hasAuthorship W1486262007A5041337242 @default.
- W1486262007 hasConcept C103000020 @default.
- W1486262007 hasConcept C11413529 @default.
- W1486262007 hasConcept C124101348 @default.
- W1486262007 hasConcept C127413603 @default.
- W1486262007 hasConcept C1306188 @default.
- W1486262007 hasConcept C14036430 @default.
- W1486262007 hasConcept C154945302 @default.
- W1486262007 hasConcept C168773036 @default.
- W1486262007 hasConcept C192328126 @default.
- W1486262007 hasConcept C19768560 @default.
- W1486262007 hasConcept C199360897 @default.
- W1486262007 hasConcept C24326235 @default.
- W1486262007 hasConcept C25343380 @default.
- W1486262007 hasConcept C41008148 @default.
- W1486262007 hasConcept C510870499 @default.
- W1486262007 hasConcept C78458016 @default.
- W1486262007 hasConcept C80444323 @default.
- W1486262007 hasConcept C86803240 @default.
- W1486262007 hasConceptScore W1486262007C103000020 @default.
- W1486262007 hasConceptScore W1486262007C11413529 @default.
- W1486262007 hasConceptScore W1486262007C124101348 @default.
- W1486262007 hasConceptScore W1486262007C127413603 @default.
- W1486262007 hasConceptScore W1486262007C1306188 @default.
- W1486262007 hasConceptScore W1486262007C14036430 @default.
- W1486262007 hasConceptScore W1486262007C154945302 @default.
- W1486262007 hasConceptScore W1486262007C168773036 @default.
- W1486262007 hasConceptScore W1486262007C192328126 @default.
- W1486262007 hasConceptScore W1486262007C19768560 @default.
- W1486262007 hasConceptScore W1486262007C199360897 @default.
- W1486262007 hasConceptScore W1486262007C24326235 @default.
- W1486262007 hasConceptScore W1486262007C25343380 @default.
- W1486262007 hasConceptScore W1486262007C41008148 @default.
- W1486262007 hasConceptScore W1486262007C510870499 @default.
- W1486262007 hasConceptScore W1486262007C78458016 @default.
- W1486262007 hasConceptScore W1486262007C80444323 @default.
- W1486262007 hasConceptScore W1486262007C86803240 @default.
- W1486262007 hasLocation W14862620071 @default.
- W1486262007 hasOpenAccess W1486262007 @default.
- W1486262007 hasPrimaryLocation W14862620071 @default.
- W1486262007 hasRelatedWork W1517223271 @default.
- W1486262007 hasRelatedWork W1539550612 @default.
- W1486262007 hasRelatedWork W1539706239 @default.
- W1486262007 hasRelatedWork W1769196389 @default.
- W1486262007 hasRelatedWork W1772022673 @default.
- W1486262007 hasRelatedWork W1969281417 @default.
- W1486262007 hasRelatedWork W2024821946 @default.
- W1486262007 hasRelatedWork W2058174669 @default.
- W1486262007 hasRelatedWork W2072572819 @default.
- W1486262007 hasRelatedWork W2084307964 @default.
- W1486262007 hasRelatedWork W2106180000 @default.
- W1486262007 hasRelatedWork W2123640792 @default.
- W1486262007 hasRelatedWork W2136242294 @default.
- W1486262007 hasRelatedWork W2138256602 @default.
- W1486262007 hasRelatedWork W2140764366 @default.
- W1486262007 hasRelatedWork W2145927340 @default.
- W1486262007 hasRelatedWork W2146471655 @default.
- W1486262007 hasRelatedWork W2156634602 @default.
- W1486262007 hasRelatedWork W65953689 @default.
- W1486262007 hasRelatedWork W2785649064 @default.
- W1486262007 isParatext "false" @default.
- W1486262007 isRetracted "false" @default.
- W1486262007 magId "1486262007" @default.
- W1486262007 workType "book-chapter" @default.