Name
Title | ||
|---|---|---|
Changement de représentation des structures de données en Coq: le cas des entiers naturels |
Year | Venue | Field |
|---|---|---|
2001 | JFLA | Passer,Humanities,Philosophy |
DocType | Citations | PageRank |
Conference | 2 | 0.42 |
References | Authors | |
1 | 2 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Nicolas Magaud | 1 | 64 | 5.92 |
| Yves Bertot | 2 | 442 | 40.82 |