Year | DOI | Venue |
---|---|---|
1994 | 10.1142/S0129054194000025 | Int. J. Found. Comput. Sci. |
Keywords | Field | DocType |
constructive logic | Intuitionistic logic,Discrete mathematics,Second-order logic,Constructive,Mathematical proof,Soundness,Monotone polygon,Mathematics,Recursion,Realizability | Journal |
Volume | Issue | Citations |
5 | 1 | 4 |
PageRank | References | Authors |
0.54 | 0 | 1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Makoto Tatsuta | 1 | 111 | 22.36 |