J. Zwanenburg

发表

Jan Zwanenburg, J. Zwanenburg, 1999, TLCA.
Herman Geuvers, Freek Wiedijk, Jan Zwanenburg, 2000, TYPES.
Herman Geuvers, Freek Wiedijk, Randy Pollack, 2002, J. Symb. Comput..
Herman Geuvers, Freek Wiedijk, Randy Pollack, 2002 .
J Jan Zwanenburg, J. Zwanenburg, 1995 .
J Jan Zwanenburg, J. Zwanenburg, 1998 .
Herman Geuvers, Freek Wiedijk, Jan Zwanenburg, 2000, TPHOLs.