Overview   Tree   Index 
Bibliography
PREV  NEXT FRAMES  NO FRAME 

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

O

Object
in: Reus B. and Streicher T.
"Semantics and logic of object calculi" (2004) 
October
in: Barbălată C. and Leuştean L.
"Applications of feed-forward neural networks to ecological phenomena forecasting" (2000) 
Odd
in: Kohlenbach U.
"On the asymptotic behavior of odd operators" (2011) 
Old
in: Keimel K.
"Bicontinuous domains and some old problems in domain theory" (2009) 
Oliva P.
One-parameter
in: Koutsoukou-Argyraki A. and Kohlenbach U.
"Effective asymptotic regularity for one-parameter nonexpansive semigroups" (2016) 
Ones
in: Gaspar J.
"Negative translations not intuitionistically equivalent to the usual ones" (2013) 
Oosten (van) J.
in: Hofmann M., Oosten (van) J. and Streicher T.
"Well-foundedness in realizability" (2006) 
Operations
Operators
Optimality
in: Roşu G., Prasad Venkatesan R., Whittle J. and Leuştean L.
"Certifying optimality of state estimation programs" (2003) 
Optimiz
in: Kohlenbach U.
"A quantitative version of a theorem due to Borwein-Reich-Shafrir" (2001) 
Optimization
Order
Ordered
Ota H.
Otto M.
Over
Oxford

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