Search the dblp DataBase
Stanley S. Wainer :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Geoffrey E. Ostrin , Stanley S. Wainer Complexity in Predicative Arithmetic. [Citation Graph (0, 0)][DBLP ] CiE, 2005, pp:378-384 [Conf ] Wilfried Sieg , Stanley S. Wainer Program Transformation and Proof Transformation. [Citation Graph (0, 0)][DBLP ] CSL, 1993, pp:305-317 [Conf ] Stanley S. Wainer The Hierarchy of terminating Recursive Programs over N. [Citation Graph (0, 0)][DBLP ] LCC, 1994, pp:281-299 [Conf ] Geoffrey E. Ostrin , Stanley S. Wainer Elementary arithmetic. [Citation Graph (0, 0)][DBLP ] Ann. Pure Appl. Logic, 2005, v:133, n:1-3, pp:275-292 [Journal ] Stanley S. Wainer , Richard S. Williams Inductive definitions over a predicative arithmetic. [Citation Graph (0, 0)][DBLP ] Ann. Pure Appl. Logic, 2005, v:136, n:1-2, pp:175-188 [Journal ] Stanley S. Wainer Accessible recursive functions. [Citation Graph (0, 0)][DBLP ] Bulletin of Symbolic Logic, 1999, v:5, n:3, pp:367-388 [Journal ] E. A. Cichon , Stanley S. Wainer The Slow-Growing and the Grzecorczyk Hierarchies. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1983, v:48, n:2, pp:399-408 [Journal ] F. R. Drake , Stanley S. Wainer European Summer Meeting of the Association for Symbolic Logic: Leeds, 1979. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1981, v:46, n:2, pp:435-446 [Journal ] Dag Normann , Stanley S. Wainer The 1-Section of a Countable Functional. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1980, v:45, n:3, pp:549-562 [Journal ] Stanley S. Wainer Ordinal Recursion, and a Refinement of the Extended Grzegorczyk Hierarchy. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1972, v:37, n:2, pp:281-292 [Journal ] Stanley S. Wainer A Hierarchy for the 1-Section of Any Type Two Object. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1974, v:39, n:1, pp:88-94 [Journal ] Stanley S. Wainer Slow Growing Versus Fast Growing. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1989, v:54, n:2, pp:608-614 [Journal ] Editorial Logic Colloquium '95, Haifa, Israel. [Citation Graph (, )][DBLP ] Search in 0.001secs, Finished in 0.002secs