Wilfried Buchholz - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 21 from 21

2005

A term calculus for (co-)recursive definitions on streamlike data structuresWilfried Buchholz. APAL, 136(1-2):75-90, 2005. [doi]

PrefaceWilfried Buchholz, Reinhard Kahle. APAL, 133(1-3):1, 2005. [doi]

2002

Refined program extraction form classical proofsUlrich Berger, Wilfried Buchholz, Helmut Schwichtenberg. APAL, 114(1-3):3-25, 2002.

2001

Explaining the Gentzen-Takeuti reduction steps: a second-order systemWilfried Buchholz. AML, 40(4):255-272, 2001. [doi]

Finitary Treatment of Operator Controlled DerivationsWilfried Buchholz. mlq, 47(3):363-396, 2001. [doi]

1998

A Note on SLDNF-ResolutionWilfried Buchholz. logcom, 8(2):159-167, 1998.

1997

Explaining Gentzen s Consistency Proof within Infinitary Proof TheoryWilfried Buchholz. kgc 1997: 4-17

An intuitionistic fixed point theoryWilfried Buchholz. AML, 37(1):21-27, 1997. [doi]

1996

Epsilon substitution method for elementary analysisGrigori Mints, Sergei Tupailo, Wilfried Buchholz. AML, 35(2):103-130, 1996. [doi]

1995

Proof-Theoretic Analysis of Termination ProofsWilfried Buchholz. APAL, 75(1-2):57-65, 1995.

1994

A Uniform Approach to Fundamental Sequences and HierarchiesAdam Cichon, Wilfried Buchholz, Andreas Weiermann. mlq, 40:273-286, 1994.

1991

Notation systems for infinitary derivationsWilfried Buchholz. AML, 30(5-6):277-296, 1991. [doi]

1988

Induktive Definitionen und DilatorenWilfried Buchholz. AML, 27(1):51-60, 1988. [doi]

1987

1-CA)+BIWilfried Buchholz. APAL, 33:131-155, 1987. [doi]

1986

A new system of proof-theoretic ordinal functionsWilfried Buchholz. APAL, 32:195-207, 1986. [doi]

1978

Provable Wellorderings of Formal Theories for Transfinitely Iterated Inductive DefinitionsWilfried Buchholz, Wolfram Pohlers. JSYML, 43(1):118-125, 1978.

1975

Ein Ausgezeichnetes Modell Für Die Intuitionistische TypenlogikWilfried Buchholz. AML, 17(1-2):55-60, 1975. [doi]

Die Beziehungen Zwischen den Ordinalzahlsystemen Σ und Θ(ω)Wilfried Buchholz, Kurt Schütte. AML, 17(3-4):179-189, 1975. [doi]

1959

Fingers or Fists? (The Choice of Decimal or Binary Representation)Wilfried Buchholz. CACM, 2(12):3-11, 1959.

Processing data in bits and piecesFrederick P. Brooks Jr., Gerrit A. Blaauw, Wilfried Buchholz. ifip 1959: 375-381

1954

The IBM Type 702, An Electronic Data Processing Machine for BusinessCharles J. Bashe, Wilfried Buchholz, Nathaniel Rochester. JACM, 1(4):149-169, October 1954. [doi]

Sign in or sign up to see more results.

runs on WebDSL