Overview   Tree   Index 
Bibliography
PREV  NEXT FRAMES  NO FRAME 

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

I

I
in: Keimel K.
"Abstract ordered compact convex sets and the algebras of the (sub-)probabilistic powerdomain monad over ordered compact spaces (in Russian)" (2009) 
IBFI
in: Kohlenbach U. and Leuştean L.
"Approximate fixed points of nonexpansive functions in product spaces" (2006) 
ICALP
ICDT
in: Neven F., Otto M., Tyszkiewicz J. and Van Den Bussche J.
"Adding FOR-loops to first-order logic" (1999) 
ICMS
in: Müller N. and Ziegler M.
"From Calculus to Algorithms without Errors" (2014) 
ICTPA
in: Barbălată C. and Leuştean L.
"Applications of feed-forward neural networks to ecological phenomena forecasting" (2000) 
IEEE
Image
in: Khan M.A.A. and Kohlenbach U.
"Quantitative image recovery theorems" (2014) 
Imprecise
in: Fedel M., Keimel K., Montagna F. and Roth W.
"Imprecise probabilities, bets, and functional analytic methods in Lukasiewicz logic" (2013) 
Impredicative
Impredicativity
in: Lietz P. and Streicher T.
"Impredicativity entails untypedness" (2002) 
Improved
in: Gerhardy P.
"Improved Complexity Analysis of Cut Elimination and Herbrand's Theorem" (2003) 
Inc
in: Streicher T.
"Semantics of Type Theory" (1991) 
Incidental
in: Otto M.
"Avoiding incidental homomorphisms into guarded covers" (2009) 
Independence
Individual
in: Broy M. and Streicher T.
"Modular functional modelling of Petri nets with individual tokens. " (1992) 
Induction

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