Overview   Tree   Index 
Bibliography
PREV  NEXT FRAMES  NO FRAME 

-&-1-123456789A-ABC-C-CDE&EFGHI-IJKL&LMN&NOP&PQRS&S-ST-T-TUVWXYZ

S

Simple
Simpson A.
Simpson S.G.
in: Kohlenbach U.
"Higher order reverse mathematics" (2005) 
Simpson A.
in: Simpson A. and Streicher T.
"Constructive toposes with countable sums as models of constructive set theory." (2012) 
Sims B.
in: Kohlenbach U. and Lambov B.
"Bounds on iterations of asymptotically quasi-non-expansive mappings" (2004) 
Sinica
in: Keimel K. and Liang J.H.
"Order environments of topological spaces" (2004) 
Skolem
in: Kohlenbach U.
"Elimination of Skolem functions for monotone formulas in analysis" (1998) 
Small
Smets S.
in: Grädel E. and Otto M.
"The freedoms of (guarded) bisimulation" (2014) 
SMF
in: Kohlenbach U.
"Herbrand's theorem and extractive proof theory" (2008) 
Smooth
Smyth
in: Heckmann R. and Keimel K.
"Quasicontinuous domains and the Smyth powerdomain" (2013) 
Sobrification
in: Gruenhage G. and Streicher T.
"Quotients of countably based spaces are not closed under sobrification." (2006) 
Soc
Society
Soft
Software
in: Müller N. and Ziegler M.
"From Calculus to Algorithms without Errors" (2014) 
Sokoli J.
in: Herrmann C., Sokoli J. and Ziegler M.
"Satisfiability of cross product terms is complete for real nondeterministic polytime Blum-Shub-Smale machines" (2013) 
Solomon
in: Kohlenbach U.
"Foundational and mathematical uses of higher types" (2002) 
Some
Somenzi F.
in: Roşu G., Prasad Venkatesan R., Whittle J. and Leuştean L.
"Certifying optimality of state estimation programs" (2003) 
Sommer R.
in: Kohlenbach U.
"Foundational and mathematical uses of higher types" (2002) 
Sorbi A.
in: Kohlenbach U.
"Effective bounds from proofs in abstract functional analysis" (2008) 
Space

-&-1-123456789A-ABC-C-CDE&EFGHI-IJKL&LMN&NOP&PQRS&S-ST-T-TUVWXYZ
 Overview   Tree   Index 
Bibliography
PREV  NEXT FRAMES  NO FRAME 

Submit a bug

This document was generated by bib2html 6.7.
Copyright © 1998-2011 Stephane GALLAND (under the GNU General Public License)

Valid HTML 4.01!Valid CSS!