Search the dblp DataBase

Publications of Author

1. Frederick P. Brooks Jr., Gerrit A. Blaauw, Wilfried Buchholz
   Processing data in bits and pieces. [Citation Graph (0, 0)][DBLP]
   IFIP Congress, 1959, pp:375-381 [Conf]
   
2. Wilfried Buchholz
   Explaining Gentzen's Consistency Proof within Infinitary Proof Theory. [Citation Graph (0, 0)][DBLP]
   Kurt Gödel Colloquium, 1997, pp:4-17 [Conf]
   
3. Ulrich Berger, Wilfried Buchholz, Helmut Schwichtenberg
   Refined program extraction form classical proofs. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 2002, v:114, n:1-3, pp:3-25 [Journal]
   
4. Wilfried Buchholz
   A term calculus for (co-)recursive definitions on streamlike data structures. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 2005, v:136, n:1-2, pp:75-90 [Journal]
   
5. Wilfried Buchholz
   Proof-Theoretic Analysis of Termination Proofs. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1995, v:75, n:1-2, pp:57-65 [Journal]
   
6. Wilfried Buchholz, Reinhard Kahle
   Preface. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 2005, v:133, n:1-3, pp:1-0 [Journal]
   
7. Wilfried Buchholz
   Fingers or Fists? (The Choice of Decimal or Binary Representation). [Citation Graph (0, 0)][DBLP]
   Commun. ACM, 1959, v:2, n:12, pp:3-11 [Journal]
   
8. Charles J. Bashe, Wilfried Buchholz, Nathaniel Rochester
   The IBM Type 702, An Electronic Data Processing Machine for Business [Citation Graph (0, 0)][DBLP]
   J. ACM, 1954, v:1, n:4, pp:149-169 [Journal]
   
9. Wilfried Buchholz, Wolfram Pohlers
   Provable Wellorderings of Formal Theories for Transfinitely Iterated Inductive Definitions. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1978, v:43, n:1, pp:118-125 [Journal]
   
10. Wilfried Buchholz
    A Note on SLDNF-Resolution. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1998, v:8, n:2, pp:159-167 [Journal]
    
11. Wilfried Buchholz
    Finitary Treatment of Operator Controlled Derivations. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2001, v:47, n:3, pp:363-396 [Journal]
    
12. Adam Cichon, Wilfried Buchholz, Andreas Weiermann
    A Uniform Approach to Fundamental Sequences and Hierarchies. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1994, v:40, n:, pp:273-286 [Journal]
    
13. 
    An intuitionistic fixed point theory. [Citation Graph (, )][DBLP]
    
    
14. 
    Explaining the Gentzen-Takeuti reduction steps: a second-order system. [Citation Graph (, )][DBLP]