dblp.uni-trier.dewww.uni-trier.de

Johan G. F. Belinfante Vis

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2003
5EEJohan G. F. Belinfante: Reasoning about Iteration in Gödel's Class Theory. CADE 2003: 228-242
4EEJohan 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
3EEJohan 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)

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)