2006 | ||
---|---|---|
2 | EE | Sébastien Limet, Pierre Pillot: Deciding Satisfiability of Positive Second Order Joinability Formulae. LPAR 2006: 15-29 |
2005 | ||
1 | EE | Sébastien Limet, Pierre Pillot: Solving First Order Formulae of Pseudo-Regular Theory. ICTAC 2005: 110-124 |
1 | Sébastien Limet | [1] [2] |