Overview   Tree   Index 
Bibliography
PREV  NEXT FRAMES  NO FRAME 

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

F

F
in: Kohlenbach U.
"On quantitative versions of theorems due to F.E. Browder and R. Wittmann" (2011) 
Falset J.G.
in: Kohlenbach U. and Lambov B.
"Bounds on iterations of asymptotically quasi-non-expansive mappings" (2004) 
Fedel M.
in: Fedel M., Keimel K., Montagna F. and Roth W.
"Imprecise probabilities, bets, and functional analytic methods in Lukasiewicz logic" (2013) 
Feed-forward
Feferman S.
in: Kohlenbach U.
"On the logical analysis of proofs based on nonseparable Hilbert space theory" (2010) 
Feferman
in: Kohlenbach U.
"Foundational and mathematical uses of higher types" (2002) 
Filters
in: Leuştean L. and Roşu G.
"Certifying Kalman Filters" (2003) 
Filtrations
in: Leuştean L.
"Canonical models and filtrations in three-valued propositional modal logic" (2002) 
Finitary
in: Gaspar J. and Kohlenbach U.
"On Tao's finitary infinite pigeonhole principle" (2010) 
Finite
First-order
Fixed
Fixed-point
in: Otto M.
"The expressive power of fixed-point logic with counting" (1996) 
Flow
Fluctuations
in: Kohlenbach U. and Safarik P.
"Fluctuations, effective learnability and metastability in analysis" (2014) 
Flum J.
in: Blumensath A., Colcombet T. and Löding C.
"Logical theories and compatible operations" (2007) 
FO
FOR-loops
Form
in: Kohlenbach U.
"A uniform quantitative form of sequential weak compactness and Baillon's nonlinear ergodic theorem." (2012) 
Formal
Forms
Formulae
in: Blumensath A., Otto M. and Weyer M.
"Boundedness of monadic second-order formulae over finite words" (2009) 
Formulas
in: Kohlenbach U.
"Elimination of Skolem functions for monotone formulas in analysis" (1998) 
Forschungszentrum
in: Kohlenbach U. and Leuştean L.
"Approximate fixed points of nonexpansive functions in product spaces" (2006) 
Forth
Forum
Foundational
in: Kohlenbach U.
"Foundational and mathematical uses of higher types" (2002) 
Foundations
Fourth
in: Kohlenbach U.
"On the computational content of the Krasnoselski and Ishikawa fixed point theorems" (2001) 
Fragment
Fragments
in: Otto M.
"Model theoretic methods for fragments of FO and special classes of (finite) structures" (2011) 
Frames
Free
Freedoms
in: Grädel E. and Otto M.
"The freedoms of (guarded) bisimulation" (2014) 
From
Fuer
in: Kartzow A.
"Collapsible Pushdown Graphs of Level 2 are Tree-Automatic" (2010) 
Fujiwara M.
in: Fujiwara M. and Kohlenbach U.
"Classical provability of uniform versions and intuitionistic provability" (2015) 
Full
in: Marz M., Rohr A. and Streicher T.
"Full abstraction and universality via realisability" (1999) 
Funct
in: Kohlenbach U.
"A quantitative version of a theorem due to Borwein-Reich-Shafrir" (2001) 
Function
Functional
Functionals
Functions
Functors
in: Otto M.
"EM functors for a class of generalized quantifiers" (1992) 
Fund
in: Gregoriades V.
"Turning Borel sets into clopen sets effectively" (2012) 
Fundamenta
in: Oliva P. and Streicher T.
"On Krivine's realizability interpretation of classical second-order arithmetic" (2008) 
Funk J.
Fusion
in: Leuştean L.
"Sheaf representations of BL-algebras" (2005) 
Fuster E.L.
in: Kohlenbach U. and Lambov B.
"Bounds on iterations of asymptotically quasi-non-expansive mappings" (2004) 
Fuzzy
in: Leuştean L.
"Some algebraic properties of non-commutative fuzzy structures" (2000) 

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