Statistics
Publications
3
Citations
99
H-Index
3
Active since
1999
Affiliations
Radboud University Nijmegen(Current)
Jan Zwanenburg is an author at Radboud University Nijmegen specializing in theory of computation, natural sciences, and mathematics.
Publications per year
1999–2002
3
3
A Constructive Algebraic Hierarchy in Coq
Herman Geuvers, Randy Pollack, Freek Wiedijk et al. · Journal of Symbolic Computation · 2002 · 66 citations · Full text
1–3 of 3