Nirina Andrianarivelo

Heuristical Criteria in Refutational Theorem Proving

Nirina Andrianarivelo, Siva Anantharaman, S. Anantharaman, 1990, DISCO.

Modular termination of prefix-constrained term rewrite systems

Pierre Réty, Nirina Andrianarivelo, P. Réty, 2022, Inf. Process. Lett..

Over-Approximating Terms Reachable by Context-Sensitive Rewriting

Pierre Réty, Nirina Andrianarivelo, P. Réty, 2015, RP.