Richard Lassaigne

Subjects

Symbolic and mathematical Logic, Berechenbarkeit, Calcul lambda, Calcul propositionnel, Calculabilité, Complexite? de calcul (Informatique), Complétude, Computable functions, Computational complexity, Computer science, Déduction, First-order logic, Fonction récursive, Fonctions calculables, Fonctions récursives, Incomplétude, Indécidabilité, Informatique, Lambda calcul, Lambda calculus, Lambda-Kalkül, Lambda-calcul, Logic programming, Logic, symbolic and mathematical, Logik