Nirina Andrianarivelo

Publication Activity (10 Years)

Years Active: 1990-2022
Publications (10 Years): 3

Top Topics

Rewrite Systems

Theorem Proving

Top Venues

Inf. Process. Lett.

Publications

Nirina Andrianarivelo, Pierre Réty
Modular termination of prefix-constrained term rewrite systems. Inf. Process. Lett. 174 (2022)
Nirina Andrianarivelo, Pierre Réty
Confluence of Prefix-Constrained Rewrite Systems. FSCD (2018)
Nirina Andrianarivelo, Vivien Pelletier, Pierre Réty
Transforming Prefix-constrained or Controlled Rewrite Systems. SCSS (2017)
Nirina Andrianarivelo, Pierre Réty
Over-Approximating Terms Reachable by Context-Sensitive Rewriting. RP (2015)
Zahir Maazouzi, Nirina Andrianarivelo, Wadoud Bousdira, Jacques Chabin
CDR: A Rewriting Based Tool to Design FPLA Circuits. AISC (2000)
Nirina Andrianarivelo, Wadoud Bousdira, Jacques Chabin, Zahir Maazouzi
Designing FPLA Combinational Circuits by Conditional Rewriting. ECAI (1998)
Nirina Andrianarivelo, Wadoud Bousdira, Jean-Marc Talbot
On Theorem-Proving in Horn Theories with Built-in Algebras. AISMC (1996)
Siva Anantharaman, Nirina Andrianarivelo
Heuristical Criteria in Refutational Theorem Proving. DISCO (1990)