Overview   Tree   Index 
Bibliography
PREV  NEXT FRAMES  NO FRAME 

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

S

S
Safarik P.
Satisfiability
Schade K.
in: Schade K. and Kohlenbach U.
"Effective metastability for modified Halpern iterations in CAT(0) spaces." (2012) 
Schema
in: Khan M.A.A. and Kohlenbach U.
"Bounds on Kuhfittig's iteration schema in uniformly convex hyperbolic spaces" (2013) 
Scheme
in: Otto M.
"A reduction scheme for phase spaces with almost-Kähler symmetry - regularity results for momentum level sets" (1987) 
Schloss
Schröder--Simpson
in: Keimel K.
"Locally convex cones and the Schröder--Simpson theorem" (2012) 
Schuster P.
in: Streicher T.
"Universes in Toposes" (2005) 
Schweikardt N.
in: Kreutzer S., Otto M. and Schweikardt N.
"Boundedness of monadic FO over acyclic structures" (2007) 
Schwentick T.
in: Kartzow A.
"Collapsible Pushdown Graphs of Level 2 are Tree-Automatic" (2010) 
Sci
in: Gregoriades V.
"The descriptive set-theoretic complexity of the set of points of continuity of a multi-valued function" (2011) 
Science
Scientific
in: Streicher T.
"Domain-theoretic Foundations of Functional Programming" (2006) 
Scott D.S.
in: Gierz G., Hofmann K.H., Keimel K., Lawson J.D., Mislove M. and Scott D.S.
"Continuous Lattices and Domains" (2003) 
Second-order
in: Blumensath A., Otto M. and Weyer M.
"Boundedness of monadic second-order formulae over finite words" (2009) 
Second-Order
in: Blumensath A.
"Prefix-Recognisable Graphs and Monadic Second-Order Logic" (2001) 
Second-order
in: Oliva P. and Streicher T.
"On Krivine's realizability interpretation of classical second-order arithmetic" (2008) 
Selected
in: Otto M.
"The logic of explicitly representation-invariant circuits" (1997) 
Semantic
Semantics
Semi-constructive
in: Gerhardy P. and Kohlenbach U.
"Strongly uniform bounds from semi-constructive proofs" (2006) 
Semigroup
in: Keimel K.
"Topological Cones: Functional Analysis in a T-Setting" (2008) 
Semigroups
in: Koutsoukou-Argyraki A. and Kohlenbach U.
"Effective asymptotic regularity for one-parameter nonexpansive semigroups" (2016) 
Senmatics
in: Keimel K.
"On the equivalence of state transformer senmatics and predicate transformer semantics " (2012) 
Sense
in: Briseid E.M.
"A New Uniformity for Asymptotic Contractions in the Sense of Kirk" (2010) 
Separable
in: Gregoriades V.
"Choice free Fixed Point Property in separable Banach spaces" (2014) 
Sequential
Series
Set
Sets
Set-theoretic
in: Gregoriades V.
"The descriptive set-theoretic complexity of the set of points of continuity of a multi-valued function" (2011) 
Shared
in: Broy M. and Streicher T.
"Specification and design of shared resource arbitration." (1991) 
Sheaf
Shoenfield
in: Streicher T. and Kohlenbach U.
"Shoenfield is Goedel after Krivine" (2007) 
Sieg W.

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