| |
| 2000 | ||
|---|---|---|
| 4 | EE | Zahir Maazouzi, Nirina Andrianarivelo, Wadoud Bousdira, Jacques Chabin: CDR: A Rewriting Based Tool to Design FPLA Circuits. AISC 2000: 219-222 |
| 1998 | ||
| 3 | Nirina Andrianarivelo, Wadoud Bousdira, Jacques Chabin, Zahir Maazouzi: Designing FPLA Combinational Circuits by Conditional Rewriting. ECAI 1998: 373-377 | |
| 1996 | ||
| 2 | Nirina Andrianarivelo, Wadoud Bousdira, Jean-Marc Talbot: On Theorem-Proving in Horn Theories with Built-in Algebras. AISMC 1996: 320-338 | |
| 1990 | ||
| 1 | Siva Anantharaman, Nirina Andrianarivelo: Heuristical Criteria in Refutational Theorem Proving. DISCO 1990: 184-193 | |
| 1 | Siva Anantharaman | [1] |
| 2 | Wadoud Bousdira | [2] [3] [4] |
| 3 | Jacques Chabin | [3] [4] |
| 4 | Zahir Maazouzi | [3] [4] |
| 5 | Jean-Marc Talbot | [2] |