Directory

Search by name
You can use the * character as a wildcard.
Alphabetical search
Find people whose last name is PELTIER* and first name is Nicolas*. Number of person who matches the search criteria: 1.
Nicolas PELTIER

Chercheur (CNRS)
Team(s): CAPP

Email:
Personal Website: http://membres-lig.imag.fr/peltier/
Contact info
Phone: +33 4 57 42 15 40
Office: 480 - Bâtiment IMAG
Publications

In HAL (Multidisciplinary open archive)

Activities and responsibilities

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
Keywords
Démonstration automatique Logic logique