Login / Signup
Nirina Andrianarivelo
Publication Activity (10 Years)
Years Active: 1990-2022
Publications (10 Years): 3
Top Topics
Rewrite Systems
Theorem Proving
Active Rules
Data Structure
Top Venues
SCSS
FSCD
Inf. Process. Lett.
RP
</>
Publications
</>