Searching for "The Greatest Common Divisor A Case Study for Program Extraction from Classical Proofs." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

The Greatest Common Divisor: A Case Study for Program Extraction From Classical Proofs
by U. Berger, H. Schwichtenberg — 1996 — Types for Proofs and Programs. International Workshop TYPES '95
…The greatest common divisor: a case study for program extraction from classical proofs U. Berger H…
Cited by 8 (2 self) – Add To MetaCart

Domain-Theoretic Methods for Program Synthesis
by Ulrich Berger
…. Schwichtenberg. The greatest common divisor: a case study for program extraction from classical proofs. In: S…
Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB