Les fonctions partielles récursives correspondent aux fonctions calculées par une machine de Turing. Selon la thèse de Church la classe des fonctions partielles récursives est exactement l'ensemble ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback