Pierre Pillot

Publication Activity (10 Years)

Years Active: 2005-2006
Publications (10 Years): 0

University of Orléans, France (PHD)

Education History

University of Orléans, France

PHD

Publications

Sébastien Limet, Pierre Pillot
Deciding Satisfiability of Positive Second Order Joinability Formulae. LPAR (2006)
Sébastien Limet, Pierre Pillot
Solving First Order Formulae of Pseudo-Regular Theory. ICTAC (2005)