Problèmes de décidabilité et d'effectivité en théories de complexité
By: Georges Werner
Contributors: Université scientifique et médicale de Grenoble
Published: 1973
Language: fre
Number of pages: 220
Subjects: Gödel's theorem; Recursive functions; Algorithms
Notes: Thesis (doctoral)--Université scientifique et médicale de Grenoble, 1973.

Bibliography: leaves i-vii.