Overview   Tree   Index 
Bibliography
PREV  NEXT FRAMES  NO FRAME 

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

S

Spaces
Special
Specification
in: Broy M. and Streicher T.
"Specification and design of shared resource arbitration." (1991) 
Spector
in: Kohlenbach U.
"A note on Spector's quantifier-free rule of extensionality" (2001) 
Spectra
in: Leuştean L.
"The prime and maximal spectra and the reticulation of BL-algebras" (2003) 
Spinger
in: Kohlenbach U.
"On the computational content of the Krasnoselski and Ishikawa fixed point theorems" (2001) 
Spread
in: Bunge M., Funk J., Jibladze M. and Streicher T.
"The Michael completion of a topos spread" (2002) 
Springer
Springer-Verlag
Springerverlag
in: Kohlenbach U.
"Arithmetizing proofs in analysis" (1998) 
Square
in: Otto M.
"Canonization for two variables and puzzles on the square" (1997) 
St
in: Hofmann K.H. and Keimel K.
"A mathematician's view of an Italian 15th century painting: The Annunciation, with St. Emidius, by Carlo Crivelli (in Japanese)" (2011) 
Stably
STACS
State
Stationary
in: Otto M.
"Automorphism properties of stationary logic" (1992) 
Statistics
in: Briseid E.M.
"A New Uniformity for Asymptotic Contractions in the Sense of Kirk" (2010) 
Steinberg F.
in: Kawamura A., Steinberg F. and Ziegler M.
"Complexity of Laplace's and Poisson's Equation" (2014) 
Steinhorn C.
in: Otto M.
"Model theoretic methods for fragments of FO and special classes of (finite) structures" (2011) 
Steklov
in: Kohlenbach U. and Oliva P.
"Proof Mining: A Systematic Way of Analyzing Proofs in Mathematics" (2003) 
Store
in: Reus B. and Streicher T.
"About Hoare logics for higher-order store" (2005) 
Streicher T.
Strength
in: Kreuzer A.P.
"On the strength of weak compactness." (2012) 
Strong
Strongly
Structure
Structures
Studia
Studies
Study
in: Otto M.
"Bounded variable logics and counting -- A study in finite models" (1997) 
Sub
Sub-
Substructures
Subtoposes
in: Maschio S. and Streicher T.
"Models of intuitionistic set theory in subtoposes of nested realizability toposes" (2015) 
Subystems
in: Kohlenbach U.
"Mathematically strong subystems of analysis with low rate of growth of provably recursive functionals" (1996) 
Sums
in: Simpson A. and Streicher T.
"Constructive toposes with countable sums as models of constructive set theory." (2012) 
Sup
SuperSAB
in: Leuştean L.
"Liquid flow time series prediction using feed-forward neural networks and SuperSAB learning algorithm" (2002) 
Symb
in: Kreuzer A. and Kohlenbach U.
"Term extraction and Ramsey's theorem for pairs." (2012) 
Symbolic
Symmetries
Symmetry
in: Otto M.
"A reduction scheme for phase spaces with almost-Kähler symmetry - regularity results for momentum level sets" (1987) 
Symp
Symposium
Synthese
in: Kohlenbach U.
"The use of a logical principle of uniform boundedness in analysis" (1999) 
Synthetic
System
Systematic
in: Kohlenbach U. and Oliva P.
"Proof Mining: A Systematic Way of Analyzing Proofs in Mathematics" (2003) 
Systems

-&-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!