FRINK Linked Data Fragments server

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

• W2016393796 endingPage "14" @default.
• W2016393796 startingPage "1" @default.
• W2016393796 abstract "In applicative theories the recursion theorem provides a term rec which solves recursive equations. However, it is not provable that a solution obtained by rec is minimal. In the present paper we introduce an applicative theory in which it is possible to define a least fixed point operator. Still, our theory has a standard recursion theoretic interpretation." @default.
• W2016393796 created "2016-06-24" @default.
• W2016393796 creator A5048687535 @default.
• W2016393796 creator A5086903137 @default.
• W2016393796 date "2001-09-01" @default.
• W2016393796 modified "2023-10-14" @default.
• W2016393796 title "Formalizing non-termination of recursive programs" @default.
• W2016393796 cites W105943185 @default.
• W2016393796 cites W126568045 @default.
• W2016393796 cites W140624404 @default.
• W2016393796 cites W1498926208 @default.
• W2016393796 cites W1501393197 @default.
• W2016393796 cites W1515444786 @default.
• W2016393796 cites W1518290936 @default.
• W2016393796 cites W1518644265 @default.
• W2016393796 cites W1523047387 @default.
• W2016393796 cites W1547926009 @default.
• W2016393796 cites W1570189067 @default.
• W2016393796 cites W1579433101 @default.
• W2016393796 cites W1591825827 @default.
• W2016393796 cites W1594404929 @default.
• W2016393796 cites W1597392200 @default.
• W2016393796 cites W1763978647 @default.
• W2016393796 cites W1805150192 @default.
• W2016393796 cites W1968312518 @default.
• W2016393796 cites W1988408086 @default.
• W2016393796 cites W1994737295 @default.
• W2016393796 cites W2010959827 @default.
• W2016393796 cites W2084788336 @default.
• W2016393796 cites W2133420304 @default.
• W2016393796 cites W2137355506 @default.
• W2016393796 cites W2313175711 @default.
• W2016393796 cites W2329766482 @default.
• W2016393796 cites W2798718690 @default.
• W2016393796 cites W2914693551 @default.
• W2016393796 cites W3000172265 @default.
• W2016393796 cites W3039529476 @default.
• W2016393796 cites W3109053166 @default.
• W2016393796 doi "https://doi.org/10.1016/s1567-8326(01)00006-6" @default.
• W2016393796 hasPublicationYear "2001" @default.
• W2016393796 type Work @default.
• W2016393796 sameAs 2016393796 @default.
• W2016393796 citedByCount "8" @default.
• W2016393796 crossrefType "journal-article" @default.
• W2016393796 hasAuthorship W2016393796A5048687535 @default.
• W2016393796 hasAuthorship W2016393796A5086903137 @default.
• W2016393796 hasConcept C104317684 @default.
• W2016393796 hasConcept C11413529 @default.
• W2016393796 hasConcept C118615104 @default.
• W2016393796 hasConcept C121332964 @default.
• W2016393796 hasConcept C124416688 @default.
• W2016393796 hasConcept C134306372 @default.
• W2016393796 hasConcept C136119220 @default.
• W2016393796 hasConcept C139503435 @default.
• W2016393796 hasConcept C158448853 @default.
• W2016393796 hasConcept C168773036 @default.
• W2016393796 hasConcept C17020691 @default.
• W2016393796 hasConcept C185592680 @default.
• W2016393796 hasConcept C199343813 @default.
• W2016393796 hasConcept C199360897 @default.
• W2016393796 hasConcept C202444582 @default.
• W2016393796 hasConcept C2777686260 @default.
• W2016393796 hasConcept C2780654840 @default.
• W2016393796 hasConcept C2982939207 @default.
• W2016393796 hasConcept C33923547 @default.
• W2016393796 hasConcept C41008148 @default.
• W2016393796 hasConcept C527412718 @default.
• W2016393796 hasConcept C55493867 @default.
• W2016393796 hasConcept C61445026 @default.
• W2016393796 hasConcept C61797465 @default.
• W2016393796 hasConcept C62520636 @default.
• W2016393796 hasConcept C71924100 @default.
• W2016393796 hasConcept C80444323 @default.
• W2016393796 hasConcept C85955891 @default.
• W2016393796 hasConcept C86339819 @default.
• W2016393796 hasConcept C9986523 @default.
• W2016393796 hasConceptScore W2016393796C104317684 @default.
• W2016393796 hasConceptScore W2016393796C11413529 @default.
• W2016393796 hasConceptScore W2016393796C118615104 @default.
• W2016393796 hasConceptScore W2016393796C121332964 @default.
• W2016393796 hasConceptScore W2016393796C124416688 @default.
• W2016393796 hasConceptScore W2016393796C134306372 @default.
• W2016393796 hasConceptScore W2016393796C136119220 @default.
• W2016393796 hasConceptScore W2016393796C139503435 @default.
• W2016393796 hasConceptScore W2016393796C158448853 @default.
• W2016393796 hasConceptScore W2016393796C168773036 @default.
• W2016393796 hasConceptScore W2016393796C17020691 @default.
• W2016393796 hasConceptScore W2016393796C185592680 @default.
• W2016393796 hasConceptScore W2016393796C199343813 @default.
• W2016393796 hasConceptScore W2016393796C199360897 @default.
• W2016393796 hasConceptScore W2016393796C202444582 @default.
• W2016393796 hasConceptScore W2016393796C2777686260 @default.
• W2016393796 hasConceptScore W2016393796C2780654840 @default.
• W2016393796 hasConceptScore W2016393796C2982939207 @default.
• W2016393796 hasConceptScore W2016393796C33923547 @default.
• W2016393796 hasConceptScore W2016393796C41008148 @default.
• W2016393796 hasConceptScore W2016393796C527412718 @default.
• W2016393796 hasConceptScore W2016393796C55493867 @default.

• next