Overview   Tree   Index 
Bibliography
PREV  NEXT FRAMES  NO FRAME 

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

B

Baaz M.
Back
Baer
in: Leuştean L.
"Baer extensions of BL-algebras" (2006) 
Baillon
in: Kohlenbach U.
"A uniform quantitative form of sequential weak compactness and Baillon's nonlinear ergodic theorem." (2012) 
Baker K.A.
in: Keimel K.
"Some trends in lattice-ordered groups and rings" (1995) 
Baltag A.
in: Grädel E. and Otto M.
"The freedoms of (guarded) bisimulation" (2014) 
Banach
Barany V.
Barbălată C.
Bases
in: Barany V., Cate (ten) B. and Otto M.
"Queries with guarded negation" (2012) 
Be
in: Kohlenbach U.
"Things that can and things that can't be done in PRA" (2000) 
Begegnungs-
in: Kohlenbach U. and Leuştean L.
"Approximate fixed points of nonexpansive functions in product spaces" (2006) 
Behavior
Bénabou J.
in: Bénabou J. and Streicher T.
"Partial Toposes" (2003) 
Benefit
in: Ambos-Spies K., Brandt U. and Ziegler M.
"Real Benefit of Promises and Advice" (2013) 
Benthem (van) J.
in: Goranko V. and Otto M.
"Model Theory of Modal Logic" (2006) 
Benthem
in: Grädel E. and Otto M.
"The freedoms of (guarded) bisimulation" (2014) 
Benthem-Rosen
in: Otto M.
"Elementary proof of the van Benthem-Rosen characterisation theorem" (2004) 
Berardi S.
in: Akama Y., Berardi S., Hayashi S. and Kohlenbach U.
"An arithmetical hierarchy of the law of excluded middle and related principles" (2004) 
Berg (van den) B.
in: Berg (van den) B., Briseid E.M. and Safarik P.
"A functional interpretation for nonstandard arithmetic." (2012) 
Berlin
in: Gerhardy P.
"Refined Complexity Analysis of Cut Elimination" (2003) 
Berwanger D.
Best
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) 
Beth
in: Hoogland E., Marx M. and Otto M.
"Beth definability for the guarded fragment" (1999) 
Bets
in: Fedel M., Keimel K., Montagna F. and Roth W.
"Imprecise probabilities, bets, and functional analytic methods in Lukasiewicz logic" (2013) 
Between
Bicontinuous
in: Keimel K.
"Bicontinuous domains and some old problems in domain theory" (2009) 
Bi-continuous
in: Keimel K.
"Bi-continuous valuations" (1998) 
Bifinite
in: Abbes S. and Keimel K.
"Projective topology on bifinite domains and applications" (2006) 
Birkhaeuser
in: Streicher T.
"Semantics of Type Theory" (1991) 
Birthday
in: Kohlenbach U.
"On the logical analysis of proofs based on nonseparable Hilbert space theory" (2010) 
Bisimulation
Bisimulation-invariant
Blackburn P.
in: Goranko V. and Otto M.
"Model Theory of Modal Logic" (2006) 
BL-algebras
Blanck J.
in: Kohlenbach U.
"On the computational content of the Krasnoselski and Ishikawa fixed point theorems" (2001) 
Blumensath A.
Blum-Shub-Smale
in: Herrmann C., Sokoli J. and Ziegler M.
"Satisfiability of cross product terms is complete for real nondeterministic polytime Blum-Shub-Smale machines" (2013) 
Bolzano-WeierstraÃ
in: Kreuzer A.P.
"The cohesive principle and the Bolzano-Weierstraà principle." (2011) 
Bolzano-Weierstrass
in: Safarik P. and Kohlenbach U.
"On the computational content of the Bolzano-Weierstrass principle" (2010) 
Boolean
Borel
Borwein-Reich-Shafrir
in: Kohlenbach U.
"A quantitative version of a theorem due to Borwein-Reich-Shafrir" (2001) 
Boston
in: Streicher T.
"Semantics of Type Theory" (1991) 
Boulder
in: Roşu G., Prasad Venkatesan R., Whittle J. and Leuştean L.
"Certifying optimality of state estimation programs" (2003) 
Bounded
Boundedness
Bounded-variable
in: Otto M.
"Bounded-variable logics: two, three, and more" (1999) 
Bounds
Brandt U.
in: Ambos-Spies K., Brandt U. and Ziegler M.
"Real Benefit of Promises and Advice" (2013) 
Brattka V.
in: Kohlenbach U.
"On the computational content of the Krasnoselski and Ishikawa fixed point theorems" (2001) 
BRICS
in: Gerhardy P. and Kohlenbach U.
"General Logical Metatheorems for Functional Analysis" (2005) 
Briseid E.M.
Browder
in: Kohlenbach U.
"On quantitative versions of theorems due to F.E. Browder and R. Wittmann" (2011) 
Broy M.
Bruck
in: Körnlein D. and Kohlenbach U.
"Rate of metastability for Bruck's iteration of pseudocontractive mappings in Hilbert space" (2014) 
Bucharest
in: Barbălată C. and Leuştean L.
"Applications of feed-forward neural networks to ecological phenomena forecasting" (2000) 
Buletinul
in: Leuştean L.
"Liquid flow time series prediction using feed-forward neural networks and SuperSAB learning algorithm" (2002) 
Bulletin
Bunge M.
Burmeister P.
Butz C.

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