Year | DOI | Venue |
---|---|---|
2009 | 10.1093/logcom/exn107 | JOURNAL OF LOGIC AND COMPUTATION |
Keywords | Field | DocType |
proof theory | Analytic proof,Discrete mathematics,Constructive proof,Proof theory,Mathematics,Calculus | Journal |
Volume | Issue | ISSN |
19 | 6 | 0955-792X |
Citations | PageRank | References |
0 | 0.34 | 0 |
Authors | ||
1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Arnon Avron | 1 | 1292 | 147.65 |