Knowledge Tree

researcher / René David

René David

at_id:

orcid_id:

Disciplines:

Applied sciences

Automotive engineering

Chemical engineering

Computer sciences

Mathematics

Edit Merge See Links

Directed Thesis:

Propriétés de normalisation de calculs logiques symétriques

Vers un assistant à la preuve en langue naturelle

La notion d'indéfini en lambda-calcul

Criblage de paramètres influant sur la cristallisation par refroidissement d'un produit organique assistée par ultrasons en cristallisoir discontinu et continu

Étude de dispositifs originaux de mise en contact de courants de fluides miscibles par la technique de fluorescence induite par plan laser (P. L. I. F. )

Taille et agglomération des cristaux d'une zéolithe au cours de la synthèse : effets des paramètres expérimentaux et modélisation

Un calcul de substitution avec etiquettes

Un lambda-calcul intuitionniste avec exceptions

Types de données en logique du second ordre

Confluence en -calcul

Preuves de totalite de fonctions : mesures ordinales, application au systeme de boyer-moore

Operateurs de mise en memoire en lambda-calcul pur et type

Modélisation et évaluation de performances de systèmes de production gérés en Kanban

Diagnostic de fautes dans un circuit combinatoire à l'aide d'expériences de test partiellement aléatoire

Sur la théorie du test des circuits digitaux : mesures de la confiance