Knowledge Tree

researcher / Nicolas Peltier

Nicolas Peltier

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Thesis:

Nouvelles techniques pour la construction de modèles finis et infinis en déduction automatique

Directed Thesis:

Raisonnement abductif modulo des théories et application à la vérification de programmes

Prime implicate generation in equational logic

Preuves par induction dans le calcul de superposition

Utilisation des schématisations de termes en déduction automatique

Schémas de formules et de preuves en logique propositionnelle