 | 2000 |
|---|
| 9 |       | Zahir Maazouzi,
Nirina Andrianarivelo,
Wadoud Bousdira,
Jacques Chabin:
CDR: A Rewriting Based Tool to Design FPLA Circuits.
AISC 2000: 219-222 |
| 1998 |
|---|
| 8 |  | Nirina Andrianarivelo,
Wadoud Bousdira,
Jacques Chabin,
Zahir Maazouzi:
Designing FPLA Combinational Circuits by Conditional Rewriting.
ECAI 1998: 373-377 |
| 1996 |
|---|
| 7 | | Nirina Andrianarivelo,
Wadoud Bousdira,
Jean-Marc Talbot:
On Theorem-Proving in Horn Theories with Built-in Algebras.
AISMC 1996: 320-338 |
| 1990 |
|---|
| 6 | | Wadoud Bousdira,
Jean-Luc Remy:
On Sufficient Completeness of Conditional Specifications.
CTRS 1990: 272-286 |
| 1988 |
|---|
| 5 | | Wadoud Bousdira:
A Completion Procedure for Hierarchical Conditional Rewriting Systems.
ALP 1988: 93-107 |
| 4 | | Wadoud Bousdira,
Jean-Luc Remy:
Hierarchical Contextual Rewriting with Several Levels.
STACS 1988: 193-206 |
| 1987 |
|---|
| 3 | | Wadoud Bousdira,
Jean-Luc Remy:
Hierarchical Contextual Rewriting with Several Levels.
CTRS 1987: 15-30 |
| 2 | | Wadoud Bousdira,
Jean-Luc Remy:
REVEUR4: A Laboratory for Conditional Rewriting.
CTRS 1987: 253-257 |
| 1 | | Wadoud Bousdira,
Jean-Luc Remy:
REVEUR4: A Laboratory for Conditional Rewriting.
STACS 1987: 472-473 |
