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

Authors:
Ulrich Berger;Helmut Schwichtenberg
Affiliations:
-;-
Venue:
TYPES '95 Selected papers from the International Workshop on Types for Proofs and Programs
Year:
1995

Citing 0
Cited 2

Gröbner Bases in Type Theory

TYPES '98 Selected papers from the International Workshop on Types for Proofs and Programs
Synthesis of Programs in Abstract Data Types

LOPSTR '98 Proceedings of the 8th International Workshop on Logic Programming Synthesis and Transformation

Quantified Score

Hi-index	0.00

Visualization

Abstract