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