Generalized metatheorems on the extractability of uniform bounds in functional analysis : (extended abstract)
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Classification
-
Informatik
- Event
-
Veröffentlichung
- (where)
-
[Wadern]
- (who)
-
[Internat. Begegnungs- und Forschungszentrum für Informatik]
- (when)
-
[2006]
- Contributor
-
Gerhardy, Philipp
Kohlenbach, Ulrich
- URN
-
urn:nbn:de:0030-drops-4318
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 11:00 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Gerhardy, Philipp
- Kohlenbach, Ulrich
- [Internat. Begegnungs- und Forschungszentrum für Informatik]
Time of origin
- [2006]
Other Objects (12)
Proving bounds for real linear programs in Isabelle, HOL : (extended abstract)
Extended feature algebra [Extended Abstract]
Bounds and algebraic algorithms in differential algebra : the ordinary case ; (extended abstract)
Plume 2 : extended abstracts
Continued radicals : extended abstract
On some bounds of the topological indices of generalized Sierpiński and extended Sierpiński graphs
Exclusion Bounds for Extended Anyons
Asymptotic generalized extended uncertainty principle
Learning through failure : (extended abstract)
Search Computing Systems (Extended Abstract)
Drawing Phylogenetic Trees : (Extended Abstract)
ENAMEL 2018, Vol. 1.. Extended abstracts
Proving bounds for real linear programs in Isabelle, HOL : (extended abstract)
Extended feature algebra [Extended Abstract]
Bounds and algebraic algorithms in differential algebra : the ordinary case ; (extended abstract)
Plume 2 : extended abstracts
Continued radicals : extended abstract
On some bounds of the topological indices of generalized Sierpiński and extended Sierpiński graphs
Exclusion Bounds for Extended Anyons
Asymptotic generalized extended uncertainty principle
Learning through failure : (extended abstract)
Search Computing Systems (Extended Abstract)
Drawing Phylogenetic Trees : (Extended Abstract)
ENAMEL 2018, Vol. 1.. Extended abstracts
Proving bounds for real linear programs in Isabelle, HOL : (extended abstract)
Extended feature algebra [Extended Abstract]
Bounds and algebraic algorithms in differential algebra : the ordinary case ; (extended abstract)
Plume 2 : extended abstracts
Continued radicals : extended abstract
On some bounds of the topological indices of generalized Sierpiński and extended Sierpiński graphs
Exclusion Bounds for Extended Anyons
Asymptotic generalized extended uncertainty principle
Learning through failure : (extended abstract)
Search Computing Systems (Extended Abstract)
Drawing Phylogenetic Trees : (Extended Abstract)