Stanley S. Wainer

Affiliations:
  • University of Leeds, UK


According to our database1, Stanley S. Wainer authored at least 23 papers between 1972 and 2021.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2021
Goodstein sequences based on a Parametrized Ackermann-Péter function.
Bull. Symb. Log., 2021

2018
S. Barry Cooper (1943-2015).
Comput., 2018

2013
Guest Editorial.
Comput. J., 2013

2012
Proofs and Computations.
Perspectives in logic, Association for Symbolic Logic, ISBN: 978-0-521-51769-0, 2012

2005
Inductive definitions over a predicative arithmetic.
Ann. Pure Appl. Log., 2005

Elementary arithmetic.
Ann. Pure Appl. Log., 2005

Complexity in Predicative Arithmetic.
Proceedings of the New Computational Paradigms, 2005

1999
Accessible recursive functions.
Bull. Symb. Log., 1999

1998
Editorial Logic Colloquium '95, Haifa, Israel.
Arch. Math. Log., 1998

1995
Accessible Segments of the Fast Growing Hierarchy.
Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, 1995

1994
Equational Derivation vs. Computation.
Ann. Pure Appl. Log., 1994

The Hierarchy of terminating Recursive Programs over N.
Proceedings of the Logical and Computational Complexity. Selected Papers. Logic and Computational Complexity, 1994

1993
Program Transformation and Proof Transformation.
Proceedings of the Computer Science Logic, 7th Workshop, 1993

1992
Ordinal Complexity of Recursive Definitions
Inf. Comput., August, 1992

1990
Provable Computable Functions on Abstract Data Types.
Proceedings of the Automata, Languages and Programming, 17th International Colloquium, 1990

1989
Slow Growing Versus Fast Growing.
J. Symb. Log., 1989

1988
A plus-1 theorem for sub-sections.
Arch. Math. Log., 1988

1986
Members of countable π<sub>1</sub><sup>0</sup> classes.
Ann. Pure Appl. Log., 1986

1983
The Slow-Growing and the Grzecorczyk Hierarchies.
J. Symb. Log., 1983

1981
European Summer Meeting of the Association for Symbolic Logic: Leeds, 1979.
J. Symb. Log., 1981

1980
The 1-Section of a Countable Functional.
J. Symb. Log., 1980

1974
A Hierarchy for the 1-Section of Any Type Two Object.
J. Symb. Log., 1974

1972
Ordinal Recursion, and a Refinement of the Extended Grzegorczyk Hierarchy.
J. Symb. Log., 1972


  Loading...