| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2010 | |
|---|---|---|
| 4 |      | Hicham Bensaid, Ricardo Caferra, Nicolas Peltier: I-Terms in Ordered Resolution and Superposition Calculi: Retrieving Lost Completeness. AISC/MKM/Calculemus 2010: 19-33 |
| 3 | | Hicham Bensaid, Ricardo Caferra, Nicolas Peltier: Perfect Discrimination Graphs: Indexing Terms with Integer Exponents. IJCAR 2010: 369-383 |
| 2009 | ||
| 2 | | Hicham Bensaid, Ricardo Caferra, Nicolas Peltier: Dei: A Theorem Prover for Terms with Integer Exponents. CADE 2009: 146-150 |
| 2007 | ||
| 1 | | Hicham Bensaid, Ricardo Caferra, Nicolas Peltier: Towards Systematic Analysis of Theorem Provers Search Spaces: First Steps. WoLLIC 2007: 38-52 |
| 1 | Ricardo Caferra | [1] [2] [3] [4] |
| 2 | Nicolas Peltier | [1] [2] [3] [4] |
Data released under the ODC-BY 1.0 license — See also our legal information page