Overview   Tree   Index 
Bibliography
PREV  NEXT FRAMES  NO FRAME 

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

A

A. C.
in: Kohlenbach U.
"The use of a logical principle of uniform boundedness in analysis" (1999) 
Aachen
Aarhus
in: Gerhardy P.
"Improved Complexity Analysis of Cut Elimination and Herbrand's Theorem" (2003) 
Abbes S.
in: Abbes S. and Keimel K.
"Projective topology on bifinite domains and applications" (2006) 
About
in: Reus B. and Streicher T.
"About Hoare logics for higher-order store" (2005) 
Abstract
Abstraction
in: Marz M., Rohr A. and Streicher T.
"Full abstraction and universality via realisability" (1999) 
Academic
Account
in: Keimel K.
"Sheaf Representations of algebraic systems. A personal historical account" (2013) 
Accretive
in: Koutsoukou-Argyraki A. and Kohlenbach U.
"Rates of convergence and metastability for abstract Cauchy problems generated by accretive operators" (2015) 
ACM
Acta
in: Keimel K. and Liang J.H.
"Order environments of topological spaces" (2004) 
Acyclic
Adams M.E.
in: Burmeister P.
"Algebraic Theory of Quasivarieties of Heterogeneous Partial Algebras" (2004) 
Adaricheva K.V.
in: Burmeister P.
"Algebraic Theory of Quasivarieties of Heterogeneous Partial Algebras" (2004) 
Addendum
Adv
in: Bunge M., Funk J., Jibladze M. and Streicher T.
"Distribution algebras and duality" (2000) 
Advanced
in: Leuştean L. and Roşu G.
"Certifying Kalman Filters" (2003) 
Advances
Advice
After
in: Streicher T. and Kohlenbach U.
"Shoenfield is Goedel after Krivine" (2007) 
Aided
in: Roşu G., Prasad Venkatesan R., Whittle J. and Leuştean L.
"Certifying optimality of state estimation programs" (2003) 
AiML
in: Otto M. and Piro R.
"A Lindstrom characterisation of the guarded fragment and of modal logic with a global modality" (2008) 
Akama Y.
in: Akama Y., Berardi S., Hayashi S. and Kohlenbach U.
"An arithmetical hierarchy of the law of excluded middle and related principles" (2004) 
Al
in: Leuştean L.
"Liquid flow time series prediction using feed-forward neural networks and SuperSAB learning algorithm" (2002) 
Algebra
Algebraic
Algebras
Algorithm
Algorithmic
in: Otto M.
"Model theoretic methods for fragments of FO and special classes of (finite) structures" (2011) 
Algorithms
All
in: Escardó M. and Streicher T.
"In domain realizability, not all functionals on C[-1,1] are continuous." (2002) 
Almost-Kähler
in: Otto M.
"A reduction scheme for phase spaces with almost-Kähler symmetry - regularity results for momentum level sets" (1987) 
Altenkirch T.
Alternations
in: Gerhardy P.
"The Role of Quantifier Alternations in Cut Elimination" (2005) 
Alvarez Manilla M.
in: Alvarez Manilla M., Jung A. and Keimel K.
"Valuations and measures on stably compact spaces" (2004) 
Ambos-Spies K.
in: Ambos-Spies K., Brandt U. and Ziegler M.
"Real Benefit of Promises and Advice" (2013) 
Amer
Ames
in: Leuştean L. and Roşu G.
"Certifying Kalman Filters" (2003) 
Amsterdam
in: Blumensath A., Colcombet T. and Löding C.
"Logical theories and compatible operations" (2007) 
Anal
Analysis
Analytic
Ann
Annals
Annual
in: Akama Y., Berardi S., Hayashi S. and Kohlenbach U.
"An arithmetical hierarchy of the law of excluded middle and related principles" (2004) 
Annunciation
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) 
Antichain
in: Kreuzer A.P.
"Primitive recursion and the chain antichain principle." (2012) 
Appear
Appl
Application
in: Kohlenbach U.
"Effective bounds from ineffective proofs in analysis: an application of functional interpretation and majorization" (1992) 
Applications
Applied
Approach
Approximate
Approximation

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