Wadoud Bousdira (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

9 Zahir Maazouzi, Nirina Andrianarivelo, Wadoud Bousdira, Jacques Chabin: CDR: A Rewriting Based Tool to Design FPLA Circuits. AISC 2000: 219-222

8 Nirina Andrianarivelo, Wadoud Bousdira, Jacques Chabin, Zahir Maazouzi: Designing FPLA Combinational Circuits by Conditional Rewriting. ECAI 1998: 373-377

7 Nirina Andrianarivelo, Wadoud Bousdira, Jean-Marc Talbot: On Theorem-Proving in Horn Theories with Built-in Algebras. AISMC 1996: 320-338

Selection of 3 from 9 records - Wadoud Bousdira has 5 coauthors

9		Zahir Maazouzi, Nirina Andrianarivelo, Wadoud Bousdira, Jacques Chabin: CDR: A Rewriting Based Tool to Design FPLA Circuits. AISC 2000: 219-222
8		Nirina Andrianarivelo, Wadoud Bousdira, Jacques Chabin, Zahir Maazouzi: Designing FPLA Combinational Circuits by Conditional Rewriting. ECAI 1998: 373-377
7		Nirina Andrianarivelo, Wadoud Bousdira, Jean-Marc Talbot: On Theorem-Proving in Horn Theories with Built-in Algebras. AISMC 1996: 320-338