Solomon Feferman
Affiliations: Stanford University, CA, USA
According to our database^{1},
Solomon Feferman
authored at least 41 papers
between 1957 and 2016.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:

on zbmath.org

on id.loc.gov

on dnb.info

on andrej.com
On csauthors.net:
Bibliography
2016
Proceedings of the Once and Future Turing: Computing the World, 2016
2015
Bull. Symb. Log., 2015
2013
Rev. Symb. Log., 2013
2012
Synth., 2012
Logica Universalis, 2012
2011
Proceedings of the Formal Modeling: Actors, Open Systems, Biological Systems, 2011
2010
Rev. Symb. Log., 2010
Notre Dame J. Formal Log., 2010
2009
Inf. Comput., 2009
2008
Synth., 2008
Rev. Symb. Log., 2008
2007
Predicativity.
Proceedings of the Oxford Handbook of Philosophy of Mathematics and Logic., 2007
2006
Log. Methods Comput. Sci., 2006
2005
Bull. Symb. Log., 2005
2004
Ann. Pure Appl. Log., 2004
2000
Synth., 2000
Bull. Symb. Log., 2000
Ann. Pure Appl. Log., 2000
1999
Notre Dame J. Formal Log., 1999
1996
Ann. Pure Appl. Log., 1996
Computation on Abstract Data Types: The Extensional Approach, with an Application to Streams.
Ann. Pure Appl. Log., 1996
1995
J. Philos. Log., 1995
Preface: Special Issue of Papers from the Conference on Proof Theory, Provability Logic, and Computation, Berne, Switzerland, 2024 March 1994.
Ann. Pure Appl. Log., 1995
1993
Ann. Pure Appl. Logic, 1993
Proceedings of the Computational Logic and Proof Theory, Third Kurt Gödel Colloquium, 1993
1992
Math. Struct. Comput. Sci., 1992
1991
J. Symb. Log., 1991
A New Approach to Abstract Data Types II: Computation on ADTs as Ordinary Computation.
Proceedings of the Computer Science Logic, 5th Workshop, 1991
Proceedings of the Artificial and Mathematical Theory of Computation, 1991
1988
J. Symb. Log., 1988
1986
J. Symb. Log., 1986
1985
J. Philos. Log., 1985
Jean van Heijenoort (19121986).
Proceedings of the Logic Colloquium '85, Orsay, France, 1985
1984
J. Symb. Log., 1984
1983
Choice Principles, the Bar Rule and Autonomously Iterated Comprehension Schemes in Analysis.
J. Symb. Log., 1983
1977
J. Symb. Log., 1977
1968
J. Symb. Log., 1968
1964
J. Symb. Log., 1964
1962
J. Symb. Log., 1962
J. Symb. Log., 1962
1957
J. Symb. Log., 1957