Name
Year | Venue | Field |
|---|---|---|
2005 | Mathematics, Algorithms, Proofs | Computational logic,Diagrammatic reasoning,Algebra,Philosophy of logic,Intermediate logic,Mathematics |
DocType | Citations | PageRank |
Conference | 3 | 0.44 |
References | Authors | |
1 | 2 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Dominique Duval | 1 | 103 | 21.52 |
| Jean-Claude Reynaud | 2 | 47 | 9.73 |