Nirina Andrianarivelo

	2000
4		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

Coauthor Index

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]