Overview   Tree   Index 
Bibliography
PREV  NEXT FRAMES  NO FRAME 

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

E

E
in: Kohlenbach U.
"On quantitative versions of theorems due to F.E. Browder and R. Wittmann" (2011) 
EATCS
in: Kohlenbach U.
"Proof interpretations and the computational content of proofs in mathematics" (2007) 
Ecological
in: Barbălată C. and Leuştean L.
"Applications of feed-forward neural networks to ecological phenomena forecasting" (2000) 
Education
in: Keimel K.
"On the equivalence of state transformer senmatics and predicate transformer semantics " (2012) 
Effective
Effectively
in: Gregoriades V.
"Turning Borel sets into clopen sets effectively" (2012) 
Eilenberg-Moore
in: Keimel K.
"The Monad of Probability Measures over Compact Ordered Spaces and its Eilenberg-Moore Algebras" (2008) 
Electron
in: Streicher T.
"Denotational completness revisited" (1999) 
Electronic
Elementary
Elimination
Elsevier
in: Goranko V. and Otto M.
"Model Theory of Modal Logic" (2006) 
EM
in: Otto M.
"EM functors for a class of generalized quantifiers" (1992) 
Embedded
in: Otto M. and Van Den Bussche J.
"First-order queries on databases embedded in an infinite structure" (1996) 
Emidius
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) 
English
in: Keimel K.
"Abstract ordered compact convex sets and the algebras of the (sub-)probabilistic powerdomain monad over ordered compact spaces (in English)" (2009) 
Entails
in: Lietz P. and Streicher T.
"Impredicativity entails untypedness" (2002) 
Environments
in: Keimel K. and Liang J.H.
"Order environments of topological spaces" (2004) 
Epsilon-logic
in: Otto M.
"Epsilon-logic is more expressive than first-order logic over finite structures" (2000) 
Equation
in: Kawamura A., Steinberg F. and Ziegler M.
"Complexity of Laplace's and Poisson's Equation" (2014) 
Equations
Equivalence
in: Keimel K.
"On the equivalence of state transformer senmatics and predicate transformer semantics " (2012) 
Equivalent
in: Gaspar J.
"Negative translations not intuitionistically equivalent to the usual ones" (2013) 
Ergodic
Erker T.
in: Erker T., Escardo M. and Keimel K.
"The way-below relation of function spaces over semantic domains" (1998) 
Erné M.
in: Burmeister P.
"Galois Connections for Partial Algebras" (2004) 
Errors
in: Müller N. and Ziegler M.
"From Calculus to Algorithms without Errors" (2014) 
Escardo M.
Escardó M.
ESOP
in: Mück A., Streicher T. and Lock H.
"A tiny constraint functional logic language and its continuation semantics." (1994) 
Esparza J.
in: Otto M.
"Model theoretic methods for fragments of FO and special classes of (finite) structures" (2011) 
Essays
in: Kohlenbach U.
"Foundational and mathematical uses of higher types" (2002) 
Estimates
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) 
Estimation
in: Roşu G., Prasad Venkatesan R., Whittle J. and Leuştean L.
"Certifying optimality of state estimation programs" (2003) 
Europe
in: Ambos-Spies K., Brandt U. and Ziegler M.
"Real Benefit of Promises and Advice" (2013) 
European
Evaluation
in: Pribeanu C. and Leuştean L.
"Consistence evaluation of a man-machine interaction language using connectionist models" (2000) 
Excluded
in: Akama Y., Berardi S., Hayashi S. and Kohlenbach U.
"An arithmetical hierarchy of the law of excluded middle and related principles" (2004) 

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