Fabrice Nahon

Publication Activity (10 Years)

Years Active: 2009-2013
Publications (10 Years): 0

Top Topics

First Order Logic

Top Venues

Programming Logics

Henri Poincaré University, Nancy, France (PHD)

Education History

Henri Poincaré University, Nancy, France

PHD

Publications

Claude Kirchner, Hélène Kirchner, Fabrice Nahon
Narrowing Based Inductive Proof Search. Programming Logics (2013)
Fabrice Nahon, Claude Kirchner, Hélène Kirchner, Paul Brauner
Inductive proof search modulo. Ann. Math. Artif. Intell. 55 (1-2) (2009)