Overview   Tree   Index 
Bibliography
PREV  NEXT FRAMES  NO FRAME 

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

U

Ultrafilters
in: Kreuzer A.P.
"Non-principal ultrafilters, program extraction and higher order reverse mathematics." (2012) 
Und
in: Kohlenbach U. and Leuştean L.
"Approximate fixed points of nonexpansive functions in product spaces" (2006) 
Undecidability
in: Grädel E., Otto M. and Rosen E.
"Undecidability results for two-variable logics" (1999) 
Under
Unicity
in: Kohlenbach U.
"New effective moduli of uniqueness and uniform a-priori estimates for constants of strong unicity by logical analysis of known proofs in best approximation theory" (1993) 
Uniform
Uniformity
in: Briseid E.M.
"A New Uniformity for Asymptotic Contractions in the Sense of Kirk" (2010) 
Uniformly
Uniqueness
Universal
Universalis
in: Wille A.M.
"A Gentzen system for involutive residuated lattices" (2005) 
Universality
Universes
Universit&
in: Leuştean L.
"Liquid flow time series prediction using feed-forward neural networks and SuperSAB learning algorithm" (2002) 
Universität
University
Untypedness
in: Lietz P. and Streicher T.
"Impredicativity entails untypedness" (2002) 
Updated
in: Tix R., Keimel K. and Plotkin G.D.
"Semantic Domains for Combining Probability and Non-determinism (updated)" (2009) 
Upwards
in: Keimel K.
"The probabilistic powerdomain for the upwards topology of a compact ordered space" (2004) 
USA
in: Roşu G., Prasad Venkatesan R., Whittle J. and Leuştean L.
"Certifying optimality of state estimation programs" (2003) 
Use
Uses
in: Kohlenbach U.
"Foundational and mathematical uses of higher types" (2002) 
Usual
in: Gaspar J.
"Negative translations not intuitionistically equivalent to the usual ones" (2013) 

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