Overview   Tree   Index 
Bibliography
PREV  NEXT FRAMES  NO FRAME 

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

W

Way
in: Kohlenbach U. and Oliva P.
"Proof Mining: A Systematic Way of Analyzing Proofs in Mathematics" (2003) 
Way-below
in: Erker T., Escardo M. and Keimel K.
"The way-below relation of function spaces over semantic domains" (1998) 
Weak
Well-foundedness
in: Hofmann M., Oosten (van) J. and Streicher T.
"Well-foundedness in realizability" (2006) 
Weyer M.
What
in: Kohlenbach U.
"Effective bounds from proofs in abstract functional analysis" (2008) 
Whittle J.
in: Roşu G., Prasad Venkatesan R., Whittle J. and Leuştean L.
"Certifying optimality of state estimation programs" (2003) 
Width
in: Blumensath A.
"Structures of Bounded Partition Width" (2003) 
Wilke T.
Wille R.
in: Keimel K.
"Some trends in lattice-ordered groups and rings" (1995) 
Wille A.M.
Wismath S.L.
in: Burmeister P.
"Galois Connections for Partial Algebras" (2004) 
With
Without
in: Müller N. and Ziegler M.
"From Calculus to Algorithms without Errors" (2014) 
Wittmann
in: Kohlenbach U.
"On quantitative versions of theorems due to F.E. Browder and R. Wittmann" (2011) 
Wolter F.
in: Goranko V. and Otto M.
"Model Theory of Modal Logic" (2006) 
Words
in: Blumensath A., Otto M. and Weyer M.
"Boundedness of monadic second-order formulae over finite words" (2009) 
Workshop
World
in: Streicher T.
"Domain-theoretic Foundations of Functional Programming" (2006) 

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