A Constructive Algebraic Hierarchy in Coq

H. Geuvers ; Pollack, Randy ; F. Wiedijk ; Zwanenburg, J

Journal of Symbolic Computation, Special Issue on the Integration of Automated Reasoning and Computer Algebra Systems, 34(4), Elsevier, 271-286, 2002

This page is hosted by the Department of Computer Science, University of Bologna.
Last updated Fri Feb 2 17:12:20 CET 2007.