 | 2003 |
|---|
| 5 |       | Johan G. F. Belinfante:
Reasoning about Iteration in Gödel's Class Theory.
CADE 2003: 228-242 |
| 4 | | Johan G. F. Belinfante:
Computer proofs about finite and regular sets: the unifying concept of subvariance.
J. Symb. Comput. 36(1-2): 271-285 (2003) |
| 2000 |
|---|
| 3 | | Johan G. F. Belinfante:
Gödel's Algorithm for Class Formation.
CADE 2000: 132-147 |
| 1999 |
|---|
| 2 |  | Johan G. F. Belinfante:
Computer Proofs in Gödel's Class Theory with Equational Definitions for Composite and Cross.
J. Autom. Reasoning 22(2): 311-339 (1999) |
| 1 | | Johan G. F. Belinfante:
On Computer-Assisted Proofs in Ordinal Number Theory.
J. Autom. Reasoning 22(2): 341-378 (1999) |
