The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Stanley S. Wainer: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Geoffrey E. Ostrin, Stanley S. Wainer
    Complexity in Predicative Arithmetic. [Citation Graph (0, 0)][DBLP]
    CiE, 2005, pp:378-384 [Conf]
  2. Wilfried Sieg, Stanley S. Wainer
    Program Transformation and Proof Transformation. [Citation Graph (0, 0)][DBLP]
    CSL, 1993, pp:305-317 [Conf]
  3. Stanley S. Wainer
    The Hierarchy of terminating Recursive Programs over N. [Citation Graph (0, 0)][DBLP]
    LCC, 1994, pp:281-299 [Conf]
  4. 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]
  5. 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]
  6. Stanley S. Wainer
    Accessible recursive functions. [Citation Graph (0, 0)][DBLP]
    Bulletin of Symbolic Logic, 1999, v:5, n:3, pp:367-388 [Journal]
  7. 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]
  8. 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]
  9. 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]
  10. 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]
  11. 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]
  12. 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]

  13. Editorial Logic Colloquium '95, Haifa, Israel. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002