Répertoire

Recherche par nom et prénom
Vous pouvez utiliser le caractère * comme un jocker.
Recherche par ordre alphabétique
Recherche des personnes dont le nom est PELTIER* et le prénom Nicolas*. Number of person who matches the search criteria: 1.
Nicolas PELTIER

Chercheur (CNRS)
Équipe(s) : CAPP

Courriel :
Site Web personnel : http://membres-lig.imag.fr/peltier/
Coordonnées
Téléphone : 04 57 42 15 40
Bureau : 480 - Bâtiment IMAG
Publications

Dans HAL (Archive ouverte pluridisciplinaire)
Activités et responsabilités

I am mainly interested in automated reasoning, (computational) logic and related topics (rewriting, logic programming etc.). Here are my current research topics:

  • Term and formula schematisation, induction-based theorem proving
  • Abduction (implicate generation) in equational first-order logic
  • Proof generalization, constrained proof procedure
  • Satisfiability modulo theories, combination of reasoning procedures
Mots-clés
Démonstration automatique Logic logique