Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Wilfried Buchholz
@article{DBLP:journals/apal/BuchholzK05,
author = {Wilfried Buchholz and
Reinhard Kahle},
title = {Preface},
journal = {Ann. Pure Appl. Log.},
volume = {133},
number = {1-3},
pages = {1},
year = {2005},
url = {https://doi.org/10.1016/j.apal.2004.10.001},
doi = {10.1016/J.APAL.2004.10.001},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/BuchholzK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Buchholz05,
author = {Wilfried Buchholz},
title = {A term calculus for (co-)recursive definitions on streamlike data
structures},
journal = {Ann. Pure Appl. Log.},
volume = {136},
number = {1-2},
pages = {75--90},
year = {2005},
url = {https://doi.org/10.1016/j.apal.2005.05.006},
doi = {10.1016/J.APAL.2005.05.006},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Buchholz05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/BergerBS02,
author = {Ulrich Berger and
Wilfried Buchholz and
Helmut Schwichtenberg},
title = {Refined program extraction form classical proofs},
journal = {Ann. Pure Appl. Log.},
volume = {114},
number = {1-3},
pages = {3--25},
year = {2002},
url = {https://doi.org/10.1016/S0168-0072(01)00073-2},
doi = {10.1016/S0168-0072(01)00073-2},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/BergerBS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Buchholz01,
author = {Wilfried Buchholz},
title = {Explaining the Gentzen-Takeuti reduction steps: a second-order system},
journal = {Arch. Math. Log.},
volume = {40},
number = {4},
pages = {255--272},
year = {2001},
url = {https://doi.org/10.1007/s001530000064},
doi = {10.1007/S001530000064},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Buchholz01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Buchholz01,
author = {Wilfried Buchholz},
title = {Finitary Treatment of Operator Controlled Derivations},
journal = {Math. Log. Q.},
volume = {47},
number = {3},
pages = {363--396},
year = {2001},
url = {https://doi.org/10.1002/1521-3870(200108)47:3\&\#60;363::AID-MALQ363\&\#62;3.0.CO;2-P},
doi = {10.1002/1521-3870(200108)47:3\&\#60;363::AID-MALQ363\&\#62;3.0.CO;2-P},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Buchholz01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Buchholz98,
author = {Wilfried Buchholz},
title = {A Note on SLDNF-Resolution},
journal = {J. Log. Comput.},
volume = {8},
number = {2},
pages = {159--167},
year = {1998},
url = {https://doi.org/10.1093/logcom/8.2.159},
doi = {10.1093/LOGCOM/8.2.159},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Buchholz98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Buchholz97,
author = {Wilfried Buchholz},
title = {An intuitionistic fixed point theory},
journal = {Arch. Math. Log.},
volume = {37},
number = {1},
pages = {21--27},
year = {1997},
url = {https://doi.org/10.1007/s001530050079},
doi = {10.1007/S001530050079},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Buchholz97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kgc/Buchholz97,
author = {Wilfried Buchholz},
editor = {Georg Gottlob and
Alexander Leitsch and
Daniele Mundici},
title = {Explaining Gentzen's Consistency Proof within Infinitary Proof Theory},
booktitle = {Computational Logic and Proof Theory, 5th Kurt G{\"{o}}del Colloquium,
KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1289},
pages = {4--17},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63385-5\_29},
doi = {10.1007/3-540-63385-5\_29},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/kgc/Buchholz97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/MintsTB96,
author = {Grigori Mints and
Sergei Tupailo and
Wilfried Buchholz},
title = {Epsilon substitution method for elementary analysis},
journal = {Arch. Math. Log.},
volume = {35},
number = {2},
pages = {103--130},
year = {1996},
url = {https://doi.org/10.1007/BF01273688},
doi = {10.1007/BF01273688},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/MintsTB96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Buchholz95,
author = {Wilfried Buchholz},
title = {Proof-Theoretic Analysis of Termination Proofs},
journal = {Ann. Pure Appl. Log.},
volume = {75},
number = {1-2},
pages = {57--65},
year = {1995},
url = {https://doi.org/10.1016/0168-0072(94)00056-9},
doi = {10.1016/0168-0072(94)00056-9},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Buchholz95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/CichonBW94,
author = {Adam Cichon and
Wilfried Buchholz and
Andreas Weiermann},
title = {A Uniform Approach to Fundamental Sequences and Hierarchies},
journal = {Math. Log. Q.},
volume = {40},
pages = {273--286},
year = {1994},
url = {https://doi.org/10.1002/malq.19940400212},
doi = {10.1002/MALQ.19940400212},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/CichonBW94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Buchholz91,
author = {Wilfried Buchholz},
title = {Notation systems for infinitary derivations},
journal = {Arch. Math. Log.},
volume = {30},
number = {5-6},
pages = {277--296},
year = {1991},
url = {https://doi.org/10.1007/BF01621472},
doi = {10.1007/BF01621472},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Buchholz91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Buchholz88,
author = {Wilfried Buchholz},
title = {Induktive Definitionen und Dilatoren},
journal = {Arch. Math. Log.},
volume = {27},
number = {1},
pages = {51--60},
year = {1988},
url = {https://doi.org/10.1007/BF01625834},
doi = {10.1007/BF01625834},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Buchholz88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Buchholz87,
author = {Wilfried Buchholz},
title = {An independence result for (II\({}_{\mbox{1}}\)\({}^{\mbox{1}}\)-CA)+BI},
journal = {Ann. Pure Appl. Log.},
volume = {33},
pages = {131--155},
year = {1987},
url = {https://doi.org/10.1016/0168-0072(87)90078-9},
doi = {10.1016/0168-0072(87)90078-9},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Buchholz87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Buchholz86,
author = {Wilfried Buchholz},
title = {A new system of proof-theoretic ordinal functions},
journal = {Ann. Pure Appl. Log.},
volume = {32},
pages = {195--207},
year = {1986},
url = {https://doi.org/10.1016/0168-0072(86)90052-7},
doi = {10.1016/0168-0072(86)90052-7},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Buchholz86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/BuchholzP78,
author = {Wilfried Buchholz and
Wolfram Pohlers},
title = {Provable Wellorderings of Formal Theories for Transfinitely Iterated
Inductive Definitions},
journal = {J. Symb. Log.},
volume = {43},
number = {1},
pages = {118--125},
year = {1978},
url = {https://doi.org/10.2307/2271954},
doi = {10.2307/2271954},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/BuchholzP78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Buchholz75,
author = {Wilfried Buchholz},
title = {Ein Ausgezeichnetes Modell F{\"{u}}r Die Intuitionistische Typenlogik},
journal = {Arch. Math. Log.},
volume = {17},
number = {1-2},
pages = {55--60},
year = {1975},
url = {https://doi.org/10.1007/BF02280815},
doi = {10.1007/BF02280815},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Buchholz75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/BuchholzS75,
author = {Wilfried Buchholz and
Kurt Sch{\"{u}}tte},
title = {Die Beziehungen Zwischen den Ordinalzahlsystemen {\(\Sigma\)} und
{\(\Theta\)}({\(\omega\)})},
journal = {Arch. Math. Log.},
volume = {17},
number = {3-4},
pages = {179--189},
year = {1975},
url = {https://doi.org/10.1007/BF02276806},
doi = {10.1007/BF02276806},
timestamp = {Tue, 09 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/BuchholzS75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Buchholz59,
author = {Wilfried Buchholz},
title = {Fingers or Fists? (The Choice of Decimal or Binary Representation)},
journal = {Commun. {ACM}},
volume = {2},
number = {12},
pages = {3--11},
year = {1959},
url = {https://doi.org/10.1145/368518.368529},
doi = {10.1145/368518.368529},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/Buchholz59.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/BrooksBB59,
author = {Frederick P. Brooks Jr. and
Gerrit A. Blaauw and
Wilfried Buchholz},
title = {Processing data in bits and pieces},
booktitle = {Information Processing, Proceedings of the 1st International Conference
on Information Processing, UNESCO, Paris 15-20 June 1959},
pages = {375--381},
publisher = {{UNESCO} (Paris)},
year = {1959},
timestamp = {Fri, 26 Jul 2019 12:25:09 +0200},
biburl = {https://dblp.org/rec/conf/ifip/BrooksBB59.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/BasheBR54,
author = {Charles J. Bashe and
Wilfried Buchholz and
Nathaniel Rochester},
title = {The {IBM} Type 702, An Electronic Data Processing Machine for Business},
journal = {J. {ACM}},
volume = {1},
number = {4},
pages = {149--169},
year = {1954},
url = {https://doi.org/10.1145/320783.320784},
doi = {10.1145/320783.320784},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/BasheBR54.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 02:09 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
