Matches in SemOpenAlex for { <https://semopenalex.org/work/W2724806353> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W2724806353 abstract "This paper presents an approach to the problem of introducing<br />non-primitive recursive function definitions in higher order logic. A<br />recursive specification is translated into a domain theory version, where<br />the recursive calls are treated as potentially non-terminating. Once we<br />have proved termination, the original specification can be derived easily.<br />A collection of algorithms are presented which hide the domain theory<br />from a user. Hence, the derivation of a domain theory specification<br />has been automated completely, and for well-founded recursive function<br />specifications the process of deriving the original specification from the<br />domain theory one has been automated as well, though a user must<br />supply a well-founded relation and prove certain termination properties<br />of the specification. There are constructions for building well-founded<br />relations easily." @default.
- W2724806353 created "2017-07-14" @default.
- W2724806353 creator A5003476482 @default.
- W2724806353 date "1995-06-06" @default.
- W2724806353 modified "2023-10-04" @default.
- W2724806353 title "Non-primitive Recursive Function Definitions" @default.
- W2724806353 doi "https://doi.org/10.7146/brics.v2i36.19939" @default.
- W2724806353 hasPublicationYear "1995" @default.
- W2724806353 type Work @default.
- W2724806353 sameAs 2724806353 @default.
- W2724806353 citedByCount "1" @default.
- W2724806353 crossrefType "journal-article" @default.
- W2724806353 hasAuthorship W2724806353A5003476482 @default.
- W2724806353 hasBestOaLocation W27248063531 @default.
- W2724806353 hasConcept C11413529 @default.
- W2724806353 hasConcept C116253237 @default.
- W2724806353 hasConcept C118615104 @default.
- W2724806353 hasConcept C124101348 @default.
- W2724806353 hasConcept C134306372 @default.
- W2724806353 hasConcept C14036430 @default.
- W2724806353 hasConcept C199360897 @default.
- W2724806353 hasConcept C25343380 @default.
- W2724806353 hasConcept C29585364 @default.
- W2724806353 hasConcept C2982939207 @default.
- W2724806353 hasConcept C33923547 @default.
- W2724806353 hasConcept C36503486 @default.
- W2724806353 hasConcept C41008148 @default.
- W2724806353 hasConcept C78458016 @default.
- W2724806353 hasConcept C80444323 @default.
- W2724806353 hasConcept C85955891 @default.
- W2724806353 hasConcept C86803240 @default.
- W2724806353 hasConcept C98045186 @default.
- W2724806353 hasConcept C9986523 @default.
- W2724806353 hasConceptScore W2724806353C11413529 @default.
- W2724806353 hasConceptScore W2724806353C116253237 @default.
- W2724806353 hasConceptScore W2724806353C118615104 @default.
- W2724806353 hasConceptScore W2724806353C124101348 @default.
- W2724806353 hasConceptScore W2724806353C134306372 @default.
- W2724806353 hasConceptScore W2724806353C14036430 @default.
- W2724806353 hasConceptScore W2724806353C199360897 @default.
- W2724806353 hasConceptScore W2724806353C25343380 @default.
- W2724806353 hasConceptScore W2724806353C29585364 @default.
- W2724806353 hasConceptScore W2724806353C2982939207 @default.
- W2724806353 hasConceptScore W2724806353C33923547 @default.
- W2724806353 hasConceptScore W2724806353C36503486 @default.
- W2724806353 hasConceptScore W2724806353C41008148 @default.
- W2724806353 hasConceptScore W2724806353C78458016 @default.
- W2724806353 hasConceptScore W2724806353C80444323 @default.
- W2724806353 hasConceptScore W2724806353C85955891 @default.
- W2724806353 hasConceptScore W2724806353C86803240 @default.
- W2724806353 hasConceptScore W2724806353C98045186 @default.
- W2724806353 hasConceptScore W2724806353C9986523 @default.
- W2724806353 hasIssue "36" @default.
- W2724806353 hasLocation W27248063531 @default.
- W2724806353 hasOpenAccess W2724806353 @default.
- W2724806353 hasPrimaryLocation W27248063531 @default.
- W2724806353 hasRelatedWork W1479894205 @default.
- W2724806353 hasRelatedWork W1489937864 @default.
- W2724806353 hasRelatedWork W1606874248 @default.
- W2724806353 hasRelatedWork W1978840985 @default.
- W2724806353 hasRelatedWork W1994179113 @default.
- W2724806353 hasRelatedWork W1999336811 @default.
- W2724806353 hasRelatedWork W2035910535 @default.
- W2724806353 hasRelatedWork W2135520900 @default.
- W2724806353 hasRelatedWork W2140004703 @default.
- W2724806353 hasRelatedWork W2244978453 @default.
- W2724806353 hasRelatedWork W2313716282 @default.
- W2724806353 hasRelatedWork W2740345056 @default.
- W2724806353 hasRelatedWork W2889686073 @default.
- W2724806353 hasRelatedWork W2911798367 @default.
- W2724806353 hasRelatedWork W2911911075 @default.
- W2724806353 hasRelatedWork W3103318063 @default.
- W2724806353 hasRelatedWork W3104110719 @default.
- W2724806353 hasRelatedWork W3207121611 @default.
- W2724806353 hasRelatedWork W74317754 @default.
- W2724806353 hasRelatedWork W329373491 @default.
- W2724806353 hasVolume "2" @default.
- W2724806353 isParatext "false" @default.
- W2724806353 isRetracted "false" @default.
- W2724806353 magId "2724806353" @default.
- W2724806353 workType "article" @default.