The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Solomon Feferman: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Solomon Feferman
    A New Approach to Abstract Data Types II: Computation on ADTs as Ordinary Computation. [Citation Graph (0, 0)][DBLP]
    CSL, 1991, pp:79-95 [Conf]
  2. Solomon Feferman
    Gödel's Dialectica Interpretation and Its Two-Way Stretch. [Citation Graph (0, 0)][DBLP]
    Kurt Gödel Colloquium, 1993, pp:23-40 [Conf]
  3. Solomon Feferman
    Tarski's Influence on Computer Science. [Citation Graph (0, 0)][DBLP]
    LICS, 2005, pp:342- [Conf]
  4. A. Burdman Feferman, Solomon Feferman
    Jean van Heijenoort (1912-1986). [Citation Graph (0, 0)][DBLP]
    Logic Colloquium, 1985, pp:1-8 [Conf]
  5. Sergei N. Artëmov, George Boolos, Erwin Engeler, Solomon Feferman, Gerhard Jäger, Albert Visser
    Preface: Special Issue of Papers from the Conference on Proof Theory, Provability Logic, and Computation, Berne, Switzerland, 20-24 March 1994. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 1995, v:75, n:1-2, pp:1- [Journal]
  6. Solomon Feferman
    Tarski's conception of logic. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2004, v:126, n:1-3, pp:5-13 [Journal]
  7. Solomon Feferman
    Computation on Abstract Data Types: The Extensional Approach, with an Application to Streams. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 1996, v:81, n:1-3, pp:75-113 [Journal]
  8. Solomon Feferman, Gerhard Jäger
    Systems of Explicit Mathematics with Non-Constructive µ-Operator, Part I. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 1993, v:65, n:3, pp:243-263 [Journal]
  9. Solomon Feferman, Gerhard Jäger
    Systems of Explicit Mathematics with Non-Constructive µ-Operator, Part II. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 1996, v:79, n:1, pp:37-52 [Journal]
  10. Solomon Feferman, Thomas Strahm
    The unfolding of non-finitist arithmetic. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2000, v:104, n:1-3, pp:75-96 [Journal]
  11. Solomon Feferman
    The Gödel editorial project: A synopsis. [Citation Graph (0, 0)][DBLP]
    Bulletin of Symbolic Logic, 2005, v:11, n:2, pp:132-149 [Journal]
  12. Solomon Feferman, Harvey M. Friedman, Penelope Maddy, John R. Steel
    Does mathematics need new axioms? [Citation Graph (0, 0)][DBLP]
    Bulletin of Symbolic Logic, 2000, v:6, n:4, pp:401-446 [Journal]
  13. Jon Barwise, Solomon Feferman, David Israel
    Meeting of the Association for Symbolic Logic: Stanford, California, 1985. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1986, v:51, n:3, pp:832-862 [Journal]
  14. Solomon Feferman
    Degrees of Unsolvability Associated with Classes of Formalized Theories. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1957, v:22, n:2, pp:161-175 [Journal]
  15. Solomon Feferman
    Transfinite Recursive Progressions of Axiomatic Theories. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1962, v:27, n:3, pp:259-316 [Journal]
  16. Solomon Feferman
    Systems of Predicative Analysis. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1964, v:29, n:1, pp:1-30 [Journal]
  17. Solomon Feferman
    Systems of Predicative Analysis, II: Representations of Ordinals. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1968, v:33, n:2, pp:193-220 [Journal]
  18. Solomon Feferman
    Toward Useful Type-Free Theories. I. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1984, v:49, n:1, pp:75-111 [Journal]
  19. Solomon Feferman
    Hilbert's Program Relativized: Proof-Theoretical and Foundational Reductions. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1988, v:53, n:2, pp:364-384 [Journal]
  20. Solomon Feferman
    Reflecting on Incompleteness. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1991, v:56, n:1, pp:1-49 [Journal]
  21. Solomon Feferman, Jon Barwise, Leo Harrington
    Meeting of the Association for Symbolic Logic: Reno, 1976. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1977, v:42, n:1, pp:156-160 [Journal]
  22. Solomon Feferman, Gerhard Jäger
    Choice Principles, the Bar Rule and Autonomously Iterated Comprehension Schemes in Analysis. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1983, v:48, n:1, pp:63-70 [Journal]
  23. Solomon Feferman, C. Spector
    Incompleteness Along Paths in Progressions of Theories. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1962, v:27, n:4, pp:383-390 [Journal]
  24. Solomon Feferman
    Tarski's influence on computer science. [Citation Graph (0, 0)][DBLP]
    Logical Methods in Computer Science, 2006, v:2, n:3, pp:- [Journal]
  25. Solomon Feferman
    A New Approach to Abstract Data Types, I: Informal Development. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 1992, v:2, n:2, pp:193-229 [Journal]
  26. Solomon Feferman
    Logic, Logics, and Logicism. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1999, v:40, n:1, pp:31-54 [Journal]
  27. Solomon Feferman
    Tarski's influence on computer science [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]

Search in 0.003secs, Finished in 0.004secs
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