Wilfried Buchholz Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2005
j13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Wilfried Buchholz, Reinhard Kahle: Preface. Ann. Pure Appl. Logic 133(1-3): 1- (2005)
j12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Wilfried Buchholz: A term calculus for (co-)recursive definitions on streamlike data structures. Ann. Pure Appl. Logic 136(1-2): 75-90 (2005)
2002
j11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ulrich Berger, Wilfried Buchholz, Helmut Schwichtenberg: Refined program extraction form classical proofs. Ann. Pure Appl. Logic 114(1-3): 3-25 (2002)
2001
j10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Wilfried Buchholz: Explaining the Gentzen-Takeuti reduction steps: a second-order system. Arch. Math. Log. 40(4): 255-272 (2001)
j9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Wilfried Buchholz: Finitary Treatment of Operator Controlled Derivations. Math. Log. Q. 47(3): 363-396 (2001)
1998
j8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Wilfried Buchholz: A Note on SLDNF-Resolution. J. Log. Comput. 8(2): 159-167 (1998)
1997
j7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Wilfried Buchholz: An intuitionistic fixed point theory. Arch. Math. Log. 37(1): 21-27 (1997)
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Wilfried Buchholz: Explaining Gentzen's Consistency Proof within Infinitary Proof Theory. Kurt Gödel Colloquium 1997: 4-17
1996
j6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Grigori Mints, Sergei Tupailo, Wilfried Buchholz: Epsilon substitution method for elementary analysis. Arch. Math. Log. 35(2): 103-130 (1996)
1995
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Wilfried Buchholz: Proof-Theoretic Analysis of Termination Proofs. Ann. Pure Appl. Logic 75(1-2): 57-65 (1995)
1994
j4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Adam Cichon, Wilfried Buchholz, Andreas Weiermann: A Uniform Approach to Fundamental Sequences and Hierarchies. Math. Log. Q. 40: 273-286 (1994)
1978
j3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Wilfried Buchholz, Wolfram Pohlers: Provable Wellorderings of Formal Theories for Transfinitely Iterated Inductive Definitions. J. Symb. Log. 43(1): 118-125 (1978)
1959
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Wilfried Buchholz: Fingers or Fists? (The Choice of Decimal or Binary Representation). Commun. ACM 2(12): 3-11 (1959)
c1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Frederick P. Brooks Jr., Gerrit A. Blaauw, Wilfried Buchholz: Processing data in bits and pieces. IFIP Congress 1959: 375-381
1954
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Charles J. Bashe, Wilfried Buchholz, Nathaniel Rochester: The IBM Type 702, An Electronic Data Processing Machine for Business. J. ACM 1(4): 149-169 (1954)

Coauthor Index

1Charles J. Bashe
[j1]
2Ulrich Berger
[j11]
3Gerrit A. Blaauw
[c1]
4Frederick P. Brooks Jr.
[c1]
5Adam Cichon
[j4]
6Reinhard Kahle
[j13]
7Grigori Mints
[j6]
8Wolfram Pohlers
[j3]
9Nathaniel Rochester
[j1]
10Helmut Schwichtenberg
[j11]
11Sergei Tupailo
[j6]
12Andreas Weiermann
[j4]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Wed May 22 23:39:09 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page