S. S. Wainer

Publication Activity (10 Years)

Years Active: 1988-1994
Publications (10 Years): 0

Publications

W. G. Handley, Stanley S. Wainer
Equational Derivation vs. Computation. Ann. Pure Appl. Log. 70 (1) (1994)
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
A plus-1 theorem for sub-sections. Arch. Math. Log. 27 (2) (1988)