Year | Venue | Field |
---|---|---|
2015 | CoRR | Intuitionistic logic,Canonical normal form,Discrete mathematics,Lambda calculus,Simply typed lambda calculus,Natural deduction,Disjunctive normal form,Proof theory,Canonical form,Mathematics |
DocType | Volume | Citations |
Journal | abs/1502.04634 | 0 |
PageRank | References | Authors |
0.34 | 9 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Danko Ilik | 1 | 0 | 0.68 |
Zakaria Chihani | 2 | 31 | 3.79 |