Overview   Tree   Index 
Bibliography
PREV  NEXT FRAMES  NO FRAME 

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

K

K
Kalman
in: Leuştean L. and Roşu G.
"Certifying Kalman Filters" (2003) 
Kartzow A.
Kawamura A.
Keimel K.
Khan M.A.A.
Kieronski E.
Kirk
Kluver
in: Burmeister P.
"Algebraic Theory of Quasivarieties of Heterogeneous Partial Algebras" (2004) 
Kluwer
Known
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) 
Koepke P.
in: Otto M.
"Bisimulation invariance and finite models" (2006) 
Kohlenbach U.
Kolaitis P.
in: Kolaitis P. and Otto M.
"On the boundedness problem for two-variable first-order logic" (1998) 
König
in: Kohlenbach U.
"On uniform weak König's lemma" (2002) 
Körnlein D.
Koutsoukou-Argyraki A.
Krasnoselski
in: Kohlenbach U.
"On the computational content of the Krasnoselski and Ishikawa fixed point theorems" (2001) 
Kravchenko A.V.
in: Burmeister P.
"Algebraic Theory of Quasivarieties of Heterogeneous Partial Algebras" (2004) 
Kreutzer S.
Kreuzer A.P.
Kreuzer A.
in: Kreuzer A. and Kohlenbach U.
"Term extraction and Ramsey's theorem for pairs." (2012) 
Kreuzer A.P.
in: Kreuzer A.P.
"The cohesive principle and the Bolzano-Weierstraà principle." (2011) 
Kreuzer A.
in: Kreuzer A. and Kohlenbach U.
"Ramsey's theorem for pairs and provably recursive functions" (2009) 
Krivine
Kuhfittig
in: Khan M.A.A. and Kohlenbach U.
"Bounds on Kuhfittig's iteration schema in uniformly convex hyperbolic spaces" (2013) 
Kurt
in: Kohlenbach U.
"Gödel's functional interpretation and its use in current mathematics" (2011) 
Kyoto
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) 

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