MoWGLI: Mathematics on the Web: Get It by Logic and Interfaces

Proof by Computation in the Coq system

Oostdijk, M. ; H. Geuvers

To appear in Theoretical Computer Science, 2001

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