Overview   Tree   Index 
Bibliography
PREV  NEXT FRAMES  NO FRAME 

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

I

Inductive
in: Streicher T.
"Inductive construction of repletion" (1999) 
Ineffective
Infinite
Inform
Informatic&
in: Pribeanu C. and Leuştean L.
"Consistence evaluation of a man-machine interaction language using connectionist models" (2000) 
Informaticae
in: Oliva P. and Streicher T.
"On Krivine's realizability interpretation of classical second-order arithmetic" (2008) 
Informatics
Informatik
in: Kartzow A.
"Collapsible Pushdown Graphs of Level 2 are Tree-Automatic" (2010) 
Information
Inst
in: Kohlenbach U. and Oliva P.
"Proof Mining: A Systematic Way of Analyzing Proofs in Mathematics" (2003) 
Institute
in: Leuştean L. and Roşu G.
"Certifying Kalman Filters" (2003) 
Int
Interaction
in: Pribeanu C. and Leuştean L.
"Consistence evaluation of a man-machine interaction language using connectionist models" (2000) 
International
Internationales
in: Kohlenbach U. and Leuştean L.
"Approximate fixed points of nonexpansive functions in product spaces" (2006) 
Interpolation
in: Otto M.
"An interpolation theorem" (2000) 
Interpretation
Interpretations
Interval-domain
in: Escardó M., Hofmann M. and Streicher T.
"On the non-sequential nature of the interval-domain model of real-number computation" (2004) 
Interview
in: Kohlenbach U.
"Interview on the Philosophy of Mathematics" (2008) 
Into
Intrinsic
in: Escardó M. and Streicher T.
"The intrinsic topology of Martin-Löf universes" (2016) 
Intuitionistic
Intuitionistically
in: Gaspar J.
"Negative translations not intuitionistically equivalent to the usual ones" (2013) 
Invariance
in: Otto M.
"Bisimulation invariance and finite models" (2006) 
Involutive
in: Wille A.M.
"A Gentzen system for involutive residuated lattices" (2005) 
Ioniţ A A.
in: Barbălată C. and Leuştean L.
"Applications of feed-forward neural networks to ecological phenomena forecasting" (2000) 
Is
Ishihara
in: Lietz P. and Streicher T.
"Realizability models refuting Ishihara's boundedness principle." (2012) 
Ishikawa
in: Kohlenbach U.
"On the computational content of the Krasnoselski and Ishikawa fixed point theorems" (2001) 
Isomorphism
in: Gregoriades V.
"Classes of Polish spaces under effective Borel isomorphism" (2014) 
Israel
in: Kohlenbach U.
"On the quantitative asymptotic behavior of strongly nonexpansive mappings in Banach and geodesic spaces" (2016) 
Issue
Issues
Italian
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) 
Iterates
Iteration
Iterations
Its
IZF
in: Streicher T.
"Forcing for IZF in Sheaf Toposes" (2009) 

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