Nirina Andrianarivelo

According to our database, Nirina Andrianarivelo authored at least 8 papers between 1990 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2022

Modular termination of prefix-constrained term rewrite systems.

Nirina Andrianarivelo, Pierre Réty

Inf. Process. Lett., 2022

2018

Confluence of Prefix-Constrained Rewrite Systems.

Nirina Andrianarivelo, Pierre Réty

Proceedings of the 3rd International Conference on Formal Structures for Computation and Deduction, 2018

2017

Transforming Prefix-constrained or Controlled Rewrite Systems.

Nirina Andrianarivelo, Vivien Pelletier, Pierre Réty

Proceedings of the SCSS 2017, 2017

2015

Over-Approximating Terms Reachable by Context-Sensitive Rewriting.

Nirina Andrianarivelo, Pierre Réty

Proceedings of the Reachability Problems - 9th International Workshop, 2015

2000

CDR: A Rewriting Based Tool to Design FPLA Circuits.

Zahir Maazouzi, Nirina Andrianarivelo, Wadoud Bousdira, Jacques Chabin

Proceedings of the Artificial Intelligence and Symbolic Computation, 2000

1998

Designing FPLA Combinational Circuits by Conditional Rewriting.

Nirina Andrianarivelo, Wadoud Bousdira, Jacques Chabin, Zahir Maazouzi

Proceedings of the 13th European Conference on Artificial Intelligence, 1998

1996

On Theorem-Proving in Horn Theories with Built-in Algebras.

Nirina Andrianarivelo, Wadoud Bousdira, Jean-Marc Talbot

Proceedings of the Artificial Intelligence and Symbolic Mathematical Computation, 1996

1990

Heuristical Criteria in Refutational Theorem Proving.

Siva Anantharaman, Nirina Andrianarivelo

Proceedings of the Design and Implementation of Symbolic Computation Systems, 1990