default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Stanley S. Wainer
@article{DBLP:journals/bsl/AraiWW21,
author = {Toshiyasu Arai and
Stanley S. Wainer and
Andreas Weiermann},
title = {Goodstein sequences based on a Parametrized Ackermann-P{\'{e}}ter
function},
journal = {Bull. Symb. Log.},
volume = {27},
number = {2},
pages = {168--186},
year = {2021},
url = {https://doi.org/10.1017/bsl.2021.30},
doi = {10.1017/BSL.2021.30},
timestamp = {Mon, 11 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/AraiWW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/ElwesLLMNSSSBW18,
author = {Richard Elwes and
Andy Lewis{-}Pye and
Benedikt L{\"{o}}we and
Dugald Macpherson and
Dag Normann and
Andrea Sorbi and
Alexandra A. Soskova and
Mariya Ivanova Soskova and
Peter van Emde Boas and
Stanley S. Wainer},
title = {S. Barry Cooper {(1943-2015)}},
journal = {Comput.},
volume = {7},
number = {2-3},
pages = {103--131},
year = {2018},
url = {https://doi.org/10.3233/COM-180092},
doi = {10.3233/COM-180092},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computability/ElwesLLMNSSSBW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/BergstraBMW13,
author = {Jan A. Bergstra and
Jens Blanck and
Faron Moller and
Stanley S. Wainer},
title = {Guest Editorial},
journal = {Comput. J.},
volume = {56},
number = {1},
pages = {2},
year = {2013},
url = {https://doi.org/10.1093/comjnl/bxs147},
doi = {10.1093/COMJNL/BXS147},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/BergstraBMW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0031640,
author = {Helmut Schwichtenberg and
Stanley S. Wainer},
title = {Proofs and Computations},
series = {Perspectives in logic},
publisher = {Association for Symbolic Logic},
year = {2012},
url = {http://www.cambridge.org/de/academic/subjects/mathematics/logic-categories-and-sets/proofs-and-computations?format=HB},
isbn = {978-0-521-51769-0},
timestamp = {Fri, 30 Aug 2013 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0031640.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/OstrinW05,
author = {Geoffrey E. Ostrin and
Stanley S. Wainer},
title = {Elementary arithmetic},
journal = {Ann. Pure Appl. Log.},
volume = {133},
number = {1-3},
pages = {275--292},
year = {2005},
url = {https://doi.org/10.1016/j.apal.2004.10.012},
doi = {10.1016/J.APAL.2004.10.012},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/OstrinW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/WainerW05,
author = {Stanley S. Wainer and
Richard S. Williams},
title = {Inductive definitions over a predicative arithmetic},
journal = {Ann. Pure Appl. Log.},
volume = {136},
number = {1-2},
pages = {175--188},
year = {2005},
url = {https://doi.org/10.1016/j.apal.2005.05.011},
doi = {10.1016/J.APAL.2005.05.011},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/WainerW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/OstrinW05,
author = {Geoffrey E. Ostrin and
Stanley S. Wainer},
editor = {S. Barry Cooper and
Benedikt L{\"{o}}we and
Leen Torenvliet},
title = {Complexity in Predicative Arithmetic},
booktitle = {New Computational Paradigms, First Conference on Computability in
Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3526},
pages = {378--384},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11494645\_47},
doi = {10.1007/11494645\_47},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/cie/OstrinW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/Wainer99,
author = {Stanley S. Wainer},
title = {Accessible recursive functions},
journal = {Bull. Symb. Log.},
volume = {5},
number = {3},
pages = {367--388},
year = {1999},
url = {https://doi.org/10.2307/421185},
doi = {10.2307/421185},
timestamp = {Fri, 03 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/Wainer99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/JagerPW98,
author = {Gerhard J{\"{a}}ger and
Wolfram Pohlers and
Stanley S. Wainer},
title = {Editorial Logic Colloquium '95, Haifa, Israel},
journal = {Arch. Math. Log.},
volume = {37},
number = {5-6},
pages = {273},
year = {1998},
url = {https://doi.org/10.1007/s001530050098},
doi = {10.1007/S001530050098},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/JagerPW98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/logicColl/Wainer95,
author = {Stanley S. Wainer},
editor = {Johann A. Makowsky and
Elena V. Ravve},
title = {Accessible Segments of the Fast Growing Hierarchy},
booktitle = {Proceedings of the Annual European Summer Meeting of the Association
of Symbolic Logic, Logic Colloquium 1995, Haifa, Israel, August 9-18,
1995},
series = {Lecture Notes in Logic},
volume = {11},
pages = {339--348},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/978-3-662-22108-2\_19},
doi = {10.1007/978-3-662-22108-2\_19},
timestamp = {Fri, 15 May 2020 14:19:27 +0200},
biburl = {https://dblp.org/rec/conf/logicColl/Wainer95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/HandleyW94,
author = {W. G. Handley and
Stanley S. Wainer},
title = {Equational Derivation vs. Computation},
journal = {Ann. Pure Appl. Log.},
volume = {70},
number = {1},
pages = {17--49},
year = {1994},
url = {https://doi.org/10.1016/0168-0072(94)90068-X},
doi = {10.1016/0168-0072(94)90068-X},
timestamp = {Fri, 15 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/HandleyW94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lcc/Wainer94,
author = {Stanley S. Wainer},
editor = {Daniel Leivant},
title = {The Hierarchy of terminating Recursive Programs over {N}},
booktitle = {Logical and Computational Complexity. Selected Papers. Logic and Computational
Complexity, International Workshop {LCC} '94, Indianapolis, Indiana,
USA, 13-16 October 1994},
series = {Lecture Notes in Computer Science},
volume = {960},
pages = {281--299},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-60178-3\_90},
doi = {10.1007/3-540-60178-3\_90},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/lcc/Wainer94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/SiegW93,
author = {Wilfried Sieg and
Stanley S. Wainer},
editor = {Egon B{\"{o}}rger and
Yuri Gurevich and
Karl Meinke},
title = {Program Transformation and Proof Transformation},
booktitle = {Computer Science Logic, 7th Workshop, {CSL} '93, Swansea, United Kingdom,
September 13-17, 1993, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {832},
pages = {305--317},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0049339},
doi = {10.1007/BFB0049339},
timestamp = {Fri, 17 Jul 2020 16:12:45 +0200},
biburl = {https://dblp.org/rec/conf/csl/SiegW93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/FairtloughW92,
author = {M. V. H. Fairtlough and
Stanley S. Wainer},
title = {Ordinal Complexity of Recursive Definitions},
journal = {Inf. Comput.},
volume = {99},
number = {2},
pages = {123--153},
year = {1992},
url = {https://doi.org/10.1016/0890-5401(92)90027-D},
doi = {10.1016/0890-5401(92)90027-D},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/FairtloughW92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/TuckerWZ90,
author = {John V. Tucker and
Stanley S. Wainer and
Jeffery I. Zucker},
editor = {Mike Paterson},
title = {Provable Computable Functions on Abstract Data Types},
booktitle = {Automata, Languages and Programming, 17th International Colloquium,
ICALP90, Warwick University, England, UK, July 16-20, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {443},
pages = {660--673},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/BFb0032065},
doi = {10.1007/BFB0032065},
timestamp = {Fri, 15 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/TuckerWZ90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Wainer89,
author = {Stanley S. Wainer},
title = {Slow Growing Versus Fast Growing},
journal = {J. Symb. Log.},
volume = {54},
number = {2},
pages = {608--614},
year = {1989},
url = {https://doi.org/10.2307/2274873},
doi = {10.2307/2274873},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Wainer89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Wainer88,
author = {Stanley S. Wainer},
title = {A plus-1 theorem for sub-sections},
journal = {Arch. Math. Log.},
volume = {27},
number = {2},
pages = {101--105},
year = {1988},
url = {https://doi.org/10.1007/BF01620759},
doi = {10.1007/BF01620759},
timestamp = {Fri, 15 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Wainer88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/CenzerCSSW86,
author = {Douglas A. Cenzer and
Peter Clote and
Rick L. Smith and
Robert I. Soare and
Stanley S. Wainer},
title = {Members of countable {\(\pi\)}\({}_{\mbox{1}}\)\({}^{\mbox{0}}\) classes},
journal = {Ann. Pure Appl. Log.},
volume = {31},
pages = {145--163},
year = {1986},
url = {https://doi.org/10.1016/0168-0072(86)90067-9},
doi = {10.1016/0168-0072(86)90067-9},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/CenzerCSSW86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/CichonW83,
author = {E. A. Cichon and
Stanley S. Wainer},
title = {The Slow-Growing and the Grzecorczyk Hierarchies},
journal = {J. Symb. Log.},
volume = {48},
number = {2},
pages = {399--408},
year = {1983},
url = {https://doi.org/10.2307/2273557},
doi = {10.2307/2273557},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/CichonW83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/DrakeW81,
author = {F. R. Drake and
Stanley S. Wainer},
title = {European Summer Meeting of the Association for Symbolic Logic: Leeds,
1979},
journal = {J. Symb. Log.},
volume = {46},
number = {2},
pages = {435--446},
year = {1981},
url = {https://doi.org/10.2307/2273641},
doi = {10.2307/2273641},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/DrakeW81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/NormannW80,
author = {Dag Normann and
Stanley S. Wainer},
title = {The 1-Section of a Countable Functional},
journal = {J. Symb. Log.},
volume = {45},
number = {3},
pages = {549--562},
year = {1980},
url = {https://doi.org/10.2307/2273422},
doi = {10.2307/2273422},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/NormannW80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Wainer74,
author = {Stanley S. Wainer},
title = {A Hierarchy for the 1-Section of Any Type Two Object},
journal = {J. Symb. Log.},
volume = {39},
number = {1},
pages = {88--94},
year = {1974},
url = {https://doi.org/10.2307/2272347},
doi = {10.2307/2272347},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Wainer74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Wainer72,
author = {Stanley S. Wainer},
title = {Ordinal Recursion, and a Refinement of the Extended Grzegorczyk Hierarchy},
journal = {J. Symb. Log.},
volume = {37},
number = {2},
pages = {281--292},
year = {1972},
url = {https://doi.org/10.2307/2272973},
doi = {10.2307/2272973},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Wainer72.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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-24 22:57 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:
