Fabrice Nahon

According to our database, Fabrice Nahon authored at least 3 papers between 2007 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2013

Narrowing Based Inductive Proof Search.

Claude Kirchner, Hélène Kirchner, Fabrice Nahon

Proceedings of the Programming Logics - Essays in Memory of Harald Ganzinger, 2013

2009

Inductive proof search modulo.

Fabrice Nahon, Claude Kirchner, Hélène Kirchner, Paul Brauner

Ann. Math. Artif. Intell., 2009

2007

Preuve par induction dans le calcul des séquents modulo. (Proof by induction in sequent calculus modulo).

Fabrice Nahon

PhD thesis, 2007