Abstract | ||
---|---|---|
Without Abstract |
Year | DOI | Venue |
---|---|---|
1995 | 10.1007/BFb0014064 | TLCA |
Keywords | Field | DocType |
strict functionals,termination proofs | Existential quantification,Proof theory,Mathematical proof,Mathematics,Calculus | Conference |
ISBN | Citations | PageRank |
3-540-59048-X | 29 | 2.22 |
References | Authors | |
3 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Jaco Van De Pol | 1 | 1022 | 78.19 |
Helmut Schwichtenberg | 2 | 373 | 44.83 |