Wilfried Buchholz

Publication Activity (10 Years)

Years Active: 1954-2005
Publications (10 Years): 0

Publications

Wilfried Buchholz, Reinhard Kahle
Preface. Ann. Pure Appl. Log. 133 (1-3) (2005)
Wilfried Buchholz
A term calculus for (co-)recursive definitions on streamlike data structures. Ann. Pure Appl. Log. 136 (1-2) (2005)
Ulrich Berger, Wilfried Buchholz, Helmut Schwichtenberg
Refined program extraction form classical proofs. Ann. Pure Appl. Log. 114 (1-3) (2002)
Wilfried Buchholz
Explaining the Gentzen-Takeuti reduction steps: a second-order system. Arch. Math. Log. 40 (4) (2001)
Wilfried Buchholz
Finitary Treatment of Operator Controlled Derivations. Math. Log. Q. 47 (3) (2001)
Wilfried Buchholz
A Note on SLDNF-Resolution. J. Log. Comput. 8 (2) (1998)
Wilfried Buchholz
An intuitionistic fixed point theory. Arch. Math. Log. 37 (1) (1997)
Wilfried Buchholz
Explaining Gentzen's Consistency Proof within Infinitary Proof Theory. Kurt Gödel Colloquium (1997)
Grigori Mints, Sergei Tupailo, Wilfried Buchholz
Epsilon substitution method for elementary analysis. Arch. Math. Log. 35 (2) (1996)
Wilfried Buchholz
Proof-Theoretic Analysis of Termination Proofs. Ann. Pure Appl. Log. 75 (1-2) (1995)
Adam Cichon, Wilfried Buchholz, Andreas Weiermann
A Uniform Approach to Fundamental Sequences and Hierarchies. Math. Log. Q. 40 (1994)
Wilfried Buchholz
Notation systems for infinitary derivations. Arch. Math. Log. 30 (5-6) (1991)
Wilfried Buchholz
Induktive Definitionen und Dilatoren. Arch. Math. Log. 27 (1) (1988)
Wilfried Buchholz
-CA)+BI. Ann. Pure Appl. Log. 33 (1987)
Wilfried Buchholz
A new system of proof-theoretic ordinal functions. Ann. Pure Appl. Log. 32 (1986)
Wilfried Buchholz, Wolfram Pohlers
Provable Wellorderings of Formal Theories for Transfinitely Iterated Inductive Definitions. J. Symb. Log. 43 (1) (1978)
Wilfried Buchholz
Ein Ausgezeichnetes Modell Für Die Intuitionistische Typenlogik. Arch. Math. Log. 17 (1-2) (1975)
Wilfried Buchholz, Kurt Schütte
Die Beziehungen Zwischen den Ordinalzahlsystemen Σ und Θ(ω). Arch. Math. Log. 17 (3-4) (1975)
Wilfried Buchholz
Fingers or Fists? (The Choice of Decimal or Binary Representation). Commun. ACM 2 (12) (1959)
Frederick P. Brooks Jr., Gerrit A. Blaauw, Wilfried Buchholz
Processing data in bits and pieces. IFIP Congress (1959)
Charles J. Bashe, Wilfried Buchholz, Nathaniel Rochester
The IBM Type 702, An Electronic Data Processing Machine for Business J. ACM 1 (4) (1954)