Travelled to:2 × USA
Collaborated with:∅
Talks about:gödel (2) class (2) algorithm (1) theori (1) reason (1) format (1) about (1) iter (1)
Person: Johan G. F. Belinfante
DBLP: Belinfante:Johan_G=_F=
Contributed to:
20032000Wrote 2 papers:
- CADE-2003-Belinfante #reasoning
- Reasoning about Iteration in Gödel’s Class Theory (JGFB), pp. 228–242.
- CADE-2000-Belinfante #algorithm
- Gödel’s Algorithm for Class Formation (JGFB), pp. 132–147.