|
Search the dblp DataBase
Nirina Andrianarivelo:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Nirina Andrianarivelo, Wadoud Bousdira, Jean-Marc Talbot
On Theorem-Proving in Horn Theories with Built-in Algebras. [Citation Graph (0, 0)][DBLP] AISMC, 1996, pp:320-338 [Conf]
- Zahir Maazouzi, Nirina Andrianarivelo, Wadoud Bousdira, Jacques Chabin
CDR: A Rewriting Based Tool to Design FPLA Circuits. [Citation Graph (0, 0)][DBLP] AISC, 2000, pp:219-222 [Conf]
- Siva Anantharaman, Nirina Andrianarivelo
Heuristical Criteria in Refutational Theorem Proving. [Citation Graph (0, 0)][DBLP] DISCO, 1990, pp:184-193 [Conf]
- Nirina Andrianarivelo, Wadoud Bousdira, Jacques Chabin, Zahir Maazouzi
Designing FPLA Combinational Circuits by Conditional Rewriting. [Citation Graph (0, 0)][DBLP] ECAI, 1998, pp:373-377 [Conf]
Search in 0.001secs, Finished in 0.001secs
|