Year | Venue | Keywords |
---|---|---|
2013 | CILC | intuitionistic logic,automated theorem proving |
Field | DocType | Citations |
Intuitionistic logic,Discrete mathematics,Second-order logic,Automated theorem proving,Automated proof checking,Sequent calculus,Mathematical proof,Completeness (statistics),Rule of inference,Calculus,Mathematics | Conference | 0 |
PageRank | References | Authors |
0.34 | 9 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Alessandro Avellone | 1 | 63 | 7.66 |
Camillo Fiorentini | 2 | 121 | 21.00 |
Alberto Momigliano | 3 | 221 | 24.78 |