Matches in SemOpenAlex for { <https://semopenalex.org/work/W68545008> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W68545008 abstract "The present paper proposes first a generalization of closure theory and revisits Moore's theory in this framework. Afterwards closures of non cyclic functions are introduced and a method is given to transform cyclic into non cyclic functions. Eventually semantics of the while construct is found to be the closure of a function. Computability on inductive and non inductive data types is then studied with iterative means." @default.
- W68545008 created "2016-06-24" @default.
- W68545008 creator A5023356985 @default.
- W68545008 creator A5077316603 @default.
- W68545008 date "1984-01-01" @default.
- W68545008 modified "2023-09-24" @default.
- W68545008 title "Partial closures and semantics of while: Towards an iteration-based theory of data types" @default.
- W68545008 cites W1518556312 @default.
- W68545008 cites W1590364596 @default.
- W68545008 cites W1964062928 @default.
- W68545008 cites W1988771156 @default.
- W68545008 cites W1993080738 @default.
- W68545008 cites W2002737353 @default.
- W68545008 cites W2007096790 @default.
- W68545008 cites W2014540725 @default.
- W68545008 cites W2023778211 @default.
- W68545008 cites W2031089603 @default.
- W68545008 cites W2036869460 @default.
- W68545008 cites W2040094858 @default.
- W68545008 cites W2050527500 @default.
- W68545008 cites W2061393234 @default.
- W68545008 cites W2081112028 @default.
- W68545008 cites W2086178947 @default.
- W68545008 cites W2160175950 @default.
- W68545008 cites W4231159373 @default.
- W68545008 cites W4256369010 @default.
- W68545008 cites W4293176479 @default.
- W68545008 doi "https://doi.org/10.1007/bfb0099485" @default.
- W68545008 hasPublicationYear "1984" @default.
- W68545008 type Work @default.
- W68545008 sameAs 68545008 @default.
- W68545008 citedByCount "7" @default.
- W68545008 crossrefType "book-chapter" @default.
- W68545008 hasAuthorship W68545008A5023356985 @default.
- W68545008 hasAuthorship W68545008A5077316603 @default.
- W68545008 hasConcept C102993220 @default.
- W68545008 hasConcept C11413529 @default.
- W68545008 hasConcept C118615104 @default.
- W68545008 hasConcept C134306372 @default.
- W68545008 hasConcept C136119220 @default.
- W68545008 hasConcept C146834321 @default.
- W68545008 hasConcept C152062344 @default.
- W68545008 hasConcept C160131679 @default.
- W68545008 hasConcept C162324750 @default.
- W68545008 hasConcept C177148314 @default.
- W68545008 hasConcept C184337299 @default.
- W68545008 hasConcept C199360897 @default.
- W68545008 hasConcept C202444582 @default.
- W68545008 hasConcept C2780801425 @default.
- W68545008 hasConcept C33203268 @default.
- W68545008 hasConcept C33923547 @default.
- W68545008 hasConcept C34447519 @default.
- W68545008 hasConcept C41008148 @default.
- W68545008 hasConcept C80444323 @default.
- W68545008 hasConceptScore W68545008C102993220 @default.
- W68545008 hasConceptScore W68545008C11413529 @default.
- W68545008 hasConceptScore W68545008C118615104 @default.
- W68545008 hasConceptScore W68545008C134306372 @default.
- W68545008 hasConceptScore W68545008C136119220 @default.
- W68545008 hasConceptScore W68545008C146834321 @default.
- W68545008 hasConceptScore W68545008C152062344 @default.
- W68545008 hasConceptScore W68545008C160131679 @default.
- W68545008 hasConceptScore W68545008C162324750 @default.
- W68545008 hasConceptScore W68545008C177148314 @default.
- W68545008 hasConceptScore W68545008C184337299 @default.
- W68545008 hasConceptScore W68545008C199360897 @default.
- W68545008 hasConceptScore W68545008C202444582 @default.
- W68545008 hasConceptScore W68545008C2780801425 @default.
- W68545008 hasConceptScore W68545008C33203268 @default.
- W68545008 hasConceptScore W68545008C33923547 @default.
- W68545008 hasConceptScore W68545008C34447519 @default.
- W68545008 hasConceptScore W68545008C41008148 @default.
- W68545008 hasConceptScore W68545008C80444323 @default.
- W68545008 hasLocation W685450081 @default.
- W68545008 hasOpenAccess W68545008 @default.
- W68545008 hasPrimaryLocation W685450081 @default.
- W68545008 hasRelatedWork W1495567550 @default.
- W68545008 hasRelatedWork W1508378755 @default.
- W68545008 hasRelatedWork W1512204044 @default.
- W68545008 hasRelatedWork W1590488372 @default.
- W68545008 hasRelatedWork W1802255488 @default.
- W68545008 hasRelatedWork W1848485899 @default.
- W68545008 hasRelatedWork W2011998974 @default.
- W68545008 hasRelatedWork W2046958847 @default.
- W68545008 hasRelatedWork W2063509913 @default.
- W68545008 hasRelatedWork W2076696436 @default.
- W68545008 hasRelatedWork W2128992690 @default.
- W68545008 hasRelatedWork W2305271820 @default.
- W68545008 hasRelatedWork W2479043907 @default.
- W68545008 hasRelatedWork W2616349957 @default.
- W68545008 hasRelatedWork W2897159003 @default.
- W68545008 hasRelatedWork W2907351305 @default.
- W68545008 hasRelatedWork W2939807911 @default.
- W68545008 hasRelatedWork W2951572270 @default.
- W68545008 hasRelatedWork W3000405346 @default.
- W68545008 hasRelatedWork W2184404033 @default.
- W68545008 isParatext "false" @default.
- W68545008 isRetracted "false" @default.
- W68545008 magId "68545008" @default.
- W68545008 workType "book-chapter" @default.