| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| 5 |      | Yves Auffray, Pierre Barbillon, Jean-Michel Marin: Maximin design on non hypercube domains and kernel interpolation. Statistics and Computing 22(3): 703-712 (2012) |
| 1992 | ||
| 4 | | Yves Auffray, Patrice Enjalbert: Modal Theorem Proving: An Equational Viewpoint. J. Log. Comput. 2(3): 247-295 (1992) |
| 1990 | ||
| 3 | | Yves Auffray, Patrice Enjalbert, Jean-Jacques Hébrard: Strategies for Modal Resolution: Results and Problems. J. Autom. Reasoning 6(1): 1-38 (1990) |
| 1989 | ||
| 2 |  | Yves Auffray, Patrice Enjalbert: Modal Theorem Proving: An Equational Viewpoint. IJCAI 1989: 441-445 |
| 1988 | ||
| 1 | | Yves Auffray: Linear Strategy for Propositional Modal Resolution. Inf. Process. Lett. 28(2): 87-92 (1988) |
| 1 | Pierre Barbillon | [5] |
| 2 | Patrice Enjalbert | [2] [3] [4] |
| 3 | Jean-Jacques Hébrard | [3] |
| 4 | Jean-Michel Marin | [5] |
Colors in the list of coauthors
Last update Sat May 26 04:23:17 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page