Sciweavers

TYPES
1995
Springer

The Greatest Common Divisor: A Case Study for Program Extraction from Classical Proofs

14 years 4 months ago
The Greatest Common Divisor: A Case Study for Program Extraction from Classical Proofs
Ulrich Berger, Helmut Schwichtenberg
Added 26 Aug 2010
Updated 26 Aug 2010
Type Conference
Year 1995
Where TYPES
Authors Ulrich Berger, Helmut Schwichtenberg
Comments (0)