Matches in SemOpenAlex for { <https://semopenalex.org/work/W170669146> ?p ?o ?g. }
Showing items 1 to 49 of
49
with 100 items per page.
- W170669146 abstract "Il existe de nombreux modeles de calcul sur les reels. Ces differents modeles calculent diverses fonctions, certains sont plus puissants que d'autres, certains sont deux a deux incomparables. Le calcul sur les reels est donc de ce point de vue bien different du calcul sur les entiers qui est unifie par la these de Church-Turing affirmant que tous les modeles raisonnables calculent les memes fonctions. Nous montrons des equivalences entre les fonctions recursivement calculables et une certaine classe de fonctions R-recursives et entre les fonctions GPAC-calculables et les fonctions recursivement calculables. Nous montrons egalement une hierarchie de classes de fonctions R-recursives qui caracterisent les fonctions elementairement calculables, les fonctions de la hierarchie de Grzegorczyk et les fonctions recursivement calculables a l'aide d'un operateur de limite. Ces resultats constituent donc une avancee vers une eventuelle unification des modeles de calcul sur les reels" @default.
- W170669146 created "2016-06-24" @default.
- W170669146 creator A5079538761 @default.
- W170669146 date "2006-12-07" @default.
- W170669146 modified "2023-09-27" @default.
- W170669146 title "Modèles de calcul sur les réels, résultats de comparaison" @default.
- W170669146 cites W116324450 @default.
- W170669146 cites W1519719082 @default.
- W170669146 cites W1566656947 @default.
- W170669146 cites W177079861 @default.
- W170669146 cites W1879184788 @default.
- W170669146 cites W1884366842 @default.
- W170669146 cites W1974032946 @default.
- W170669146 cites W1976879884 @default.
- W170669146 cites W1991903325 @default.
- W170669146 cites W1992205856 @default.
- W170669146 cites W1993678874 @default.
- W170669146 cites W1998525082 @default.
- W170669146 cites W2014107656 @default.
- W170669146 cites W2050778826 @default.
- W170669146 cites W2071846104 @default.
- W170669146 cites W2079942928 @default.
- W170669146 cites W2126160338 @default.
- W170669146 cites W2138097774 @default.
- W170669146 cites W2152557104 @default.
- W170669146 cites W2168711698 @default.
- W170669146 cites W2324440993 @default.
- W170669146 cites W3029117793 @default.
- W170669146 cites W567963746 @default.
- W170669146 cites W44798671 @default.
- W170669146 hasPublicationYear "2006" @default.
- W170669146 type Work @default.
- W170669146 sameAs 170669146 @default.
- W170669146 citedByCount "0" @default.
- W170669146 crossrefType "dissertation" @default.
- W170669146 hasAuthorship W170669146A5079538761 @default.
- W170669146 hasConcept C138885662 @default.
- W170669146 hasConcept C15708023 @default.
- W170669146 hasConcept C33923547 @default.
- W170669146 hasConceptScore W170669146C138885662 @default.
- W170669146 hasConceptScore W170669146C15708023 @default.
- W170669146 hasConceptScore W170669146C33923547 @default.
- W170669146 hasLocation W1706691461 @default.
- W170669146 hasOpenAccess W170669146 @default.
- W170669146 hasPrimaryLocation W1706691461 @default.
- W170669146 isParatext "false" @default.
- W170669146 isRetracted "false" @default.
- W170669146 magId "170669146" @default.
- W170669146 workType "dissertation" @default.