Jan Zwanenburg

发表

Jan Zwanenburg, 1996 .

Herman Geuvers, Freek Wiedijk, Jan Zwanenburg, 2000, TPHOLs.

Jan Zwanenburg, J. Zwanenburg, 1999, TLCA.

Freek Wiedijk, Jan Zwanenburg, 2003, TPHOLs.

Erik Poll, Jan Zwanenburg, 2001, CMCS.

Erik Poll, Jan Zwanenburg, 1999, TLCA.

Herman Geuvers, Freek Wiedijk, Jan Zwanenburg, 2000, TYPES.

Herman Geuvers, Freek Wiedijk, Randy Pollack, 2002, J. Symb. Comput..

Herman Geuvers, Erik Poll, Jan Zwanenburg, 1999, CSL.

Herman Geuvers, Freek Wiedijk, Randy Pollack, 2002 .