Stanley S. Wainer

Publication Activity (10 Years)

Years Active: 1972-2021
Publications (10 Years): 2

Top Topics

Piecewise Linear

Top Venues

Bull. Symb. Log.

Publications

Toshiyasu Arai, Stanley S. Wainer, Andreas Weiermann
Goodstein sequences based on a Parametrized Ackermann-Péter function. Bull. Symb. Log. 27 (2) (2021)
Richard Elwes, Andy Lewis-Pye, Benedikt Löwe, Dugald Macpherson, Dag Normann, Andrea Sorbi, Alexandra A. Soskova, Mariya Ivanova Soskova, Peter van Emde Boas, Stanley S. Wainer
S. Barry Cooper (1943-2015). Comput. 7 (2-3) (2018)
Jan A. Bergstra, Jens Blanck, Faron Moller, Stanley S. Wainer
Guest Editorial. Comput. J. 56 (1) (2013)
Geoffrey E. Ostrin, Stanley S. Wainer
Complexity in Predicative Arithmetic. CiE (2005)
Geoffrey E. Ostrin, Stanley S. Wainer
Elementary arithmetic. Ann. Pure Appl. Log. 133 (1-3) (2005)
Stanley S. Wainer, Richard S. Williams
Inductive definitions over a predicative arithmetic. Ann. Pure Appl. Log. 136 (1-2) (2005)
Stanley S. Wainer
Accessible recursive functions. Bull. Symb. Log. 5 (3) (1999)
Gerhard Jäger, Wolfram Pohlers, Stanley S. Wainer
Editorial Logic Colloquium '95, Haifa, Israel. Arch. Math. Log. 37 (5-6) (1998)
Stanley S. Wainer
Accessible Segments of the Fast Growing Hierarchy. Logic Colloquium (1995)
Stanley S. Wainer
The Hierarchy of terminating Recursive Programs over N. LCC (1994)
W. G. Handley, Stanley S. Wainer
Equational Derivation vs. Computation. Ann. Pure Appl. Log. 70 (1) (1994)
Wilfried Sieg, Stanley S. Wainer
Program Transformation and Proof Transformation. CSL (1993)
M. V. H. Fairtlough, Stanley S. Wainer
Ordinal Complexity of Recursive Definitions Inf. Comput. 99 (2) (1992)
John V. Tucker, Stanley S. Wainer, Jeffery I. Zucker
Provable Computable Functions on Abstract Data Types. ICALP (1990)
Stanley S. Wainer
Slow Growing Versus Fast Growing. J. Symb. Log. 54 (2) (1989)
Stanley S. Wainer
A plus-1 theorem for sub-sections. Arch. Math. Log. 27 (2) (1988)
Douglas A. Cenzer, Peter Clote, Rick L. Smith, Robert I. Soare, Stanley S. Wainer
classes. Ann. Pure Appl. Log. 31 (1986)
E. A. Cichon, Stanley S. Wainer
The Slow-Growing and the Grzecorczyk Hierarchies. J. Symb. Log. 48 (2) (1983)
F. R. Drake, Stanley S. Wainer
European Summer Meeting of the Association for Symbolic Logic: Leeds, 1979. J. Symb. Log. 46 (2) (1981)
Dag Normann, Stanley S. Wainer
The 1-Section of a Countable Functional. J. Symb. Log. 45 (3) (1980)
Stanley S. Wainer
A Hierarchy for the 1-Section of Any Type Two Object. J. Symb. Log. 39 (1) (1974)
Stanley S. Wainer
Ordinal Recursion, and a Refinement of the Extended Grzegorczyk Hierarchy. J. Symb. Log. 37 (2) (1972)