Searching for authors named "Wilfried Buchholz" – 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.

Proof-Theoretic Analysis of Termination Proofs
by Wilfried Buchholz — 1994 — APAL
…Proof-Theoretic Analysis of Termination Proofs Wilfried Buchholz Mathematisches Institut der…
Cited by 4 (0 self) – Add To MetaCart

Program extraction from classical proofs
by Ulrich Berger, Wilfried Buchholz — 1994 — Annals of Pure and Applied Logic
… Refined Program Extraction from Classical Proofs Ulrich Berger, Wilfried Buchholz and Helmut…
Cited by 48 (8 self) – Add To MetaCart

Showing 1 through 2.

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