Wilfried Buchholz

21 papers Journal 19Unranked 2

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