Statistics
Publications
1
Citations
102
H-Index
1
Active since
2004
Affiliations
E. GIMNEZ is an author at Universidad de la República de Uruguay.
Publications per year
2004–2004
1
1
Type-based termination of recursive definitions
Gilles Barthe, Maria João Frade, E. GIMNEZ et al. · Mathematical Structures in Computer Science · 2004 · 102 citations · Full text
1–1 of 1