Stanley S. Wainer

23 papers A* 1B 1C 1Journal 17Unranked 2
YearRankTypeTitle / Venue / Authors
2021 J jnl
Goodstein sequences based on a Parametrized Ackermann-Péter function.
Bull. Symb. Log.
Toshiyasu Arai, Stanley S. Wainer, Andreas Weiermann
2018 J jnl
S. Barry Cooper (1943-2015).
Comput.
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
2013 J jnl
Guest Editorial.
Comput. J.
Jan A. Bergstra, Jens Blanck, Faron Moller, Stanley S. Wainer
2012 — book
Proofs and Computations.
Helmut Schwichtenberg, Stanley S. Wainer
2005 C conf
Complexity in Predicative Arithmetic.
CiE
Geoffrey E. Ostrin, Stanley S. Wainer
2005 J jnl
Elementary arithmetic.
Ann. Pure Appl. Log.
Geoffrey E. Ostrin, Stanley S. Wainer
2005 J jnl
Inductive definitions over a predicative arithmetic.
Ann. Pure Appl. Log.
Stanley S. Wainer, Richard S. Williams
1999 J jnl
Accessible recursive functions.
Bull. Symb. Log.
Stanley S. Wainer
1998 J jnl
Editorial Logic Colloquium '95, Haifa, Israel.
Arch. Math. Log.
Gerhard Jäger, Wolfram Pohlers, Stanley S. Wainer
1995 — conf
Accessible Segments of the Fast Growing Hierarchy.
Logic Colloquium
Stanley S. Wainer
1994 J jnl
Equational Derivation vs. Computation.
Ann. Pure Appl. Log.
W. G. Handley, Stanley S. Wainer
1994 — conf
The Hierarchy of terminating Recursive Programs over N.
LCC
Stanley S. Wainer
1993 B conf
Program Transformation and Proof Transformation.
CSL
Wilfried Sieg, Stanley S. Wainer
1992 J jnl
Ordinal Complexity of Recursive Definitions
Inf. Comput.
M. V. H. Fairtlough, Stanley S. Wainer
1990 A* conf
Provable Computable Functions on Abstract Data Types.
ICALP
John V. Tucker, Stanley S. Wainer, Jeffery I. Zucker
1989 J jnl
Slow Growing Versus Fast Growing.
J. Symb. Log.
Stanley S. Wainer
1988 J jnl
A plus-1 theorem for sub-sections.
Arch. Math. Log.
Stanley S. Wainer
1986 J jnl
Members of countable π
Ann. Pure Appl. Log.
Douglas A. Cenzer, Peter Clote, Rick L. Smith, Robert I. Soare, Stanley S. Wainer
1983 J jnl
The Slow-Growing and the Grzecorczyk Hierarchies.
J. Symb. Log.
E. A. Cichon, Stanley S. Wainer
1981 J jnl
European Summer Meeting of the Association for Symbolic Logic: Leeds, 1979.
J. Symb. Log.
F. R. Drake, Stanley S. Wainer
1980 J jnl
The 1-Section of a Countable Functional.
J. Symb. Log.
Dag Normann, Stanley S. Wainer
1974 J jnl
A Hierarchy for the 1-Section of Any Type Two Object.
J. Symb. Log.
Stanley S. Wainer
1972 J jnl
Ordinal Recursion, and a Refinement of the Extended Grzegorczyk Hierarchy.
J. Symb. Log.
Stanley S. Wainer