Abstract | Keywords | Export | Availability | Bookmark

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Electronic data processing --- Recursive functions --- Computable functions --- Informatique --- Fonctions récursives --- Fonctions calculables --- Fonctions récursives --- Fonctions calculables. --- Decidability (Mathematical logic) --- Recursive functions. --- Turing machines. --- Formal languages --- Computable functions. --- Décidabilité (logique mathématique) --- Langages formels. --- Fonctions récursives. --- Automates mathématiques, Théorie des. --- Turing, Machines de. --- Computer science --- Décidabilité (logique mathématique) --- Fonctions récursives. --- Automates mathématiques, Théorie des.